Logical equivalence without truth tables (Screencast 2.2.4) - YouTube
Boolean Algebra Calculator Truth Table
logic - Are there any programs on the internet that show step by step how to convert a formula to Conjunctive Normal Form? - Mathematics Stack Exchange