Logic and Truth TablesCovers logic, truth tables, and mathematical propositions, demonstrating how to analyze logical statements.
Propositional Logic: Normal FormsExplores Disjunctive Normal Form and Conjunctive Normal Form in propositional logic, showing how to construct them and discussing their complexity.
Logical Equivalences: Part 1Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.