Module 1 — Propositional Logic and Boolean Algebra

Implication direction, truth tables, De Morgan's laws and CNF conversion — checked by a solver rather than by hand, starting with the vacuous pass.

Katas in this module (6)

• Kata 1.1 — The Vacuous Pass
• Kata 1.2 — Implication Direction
• Kata 1.3 — Truth-Table Construction
• Kata 1.4 — De Morgan's in Action
• Kata 1.5 — Implication Forms
• Kata 1.6 — CNF Conversion

Part of Discrete Mathematics for Formal Verification on formal.org.