Skip to main content

Propositional logic

Welcome to the propositional logic and Boolean algebra course!

Contents:

  • Propositional logic
    • Formulas
    • Meaning
    • Deductions
    • Assumptions
    • Natural deduction
    • Additional exercises
  • Boolean algebra
    • Expressions
    • Equations
    • Derived equations
    • Interpretation
    • Simplification
    • Normal forms
    • Functional completeness
    • Additional exercises
  • Two sides of the same coin
    • Translation
  • Bonus: Boole's algebra