# 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