Handouts
Below you can find reference sheets and handouts.
Properties of Logical Connectives:
PDF
Axioms/Theorems of Boolean Algebra:
PDF
Inference Rules:
PDF
How To Solve Modular Equivalences:
PDF