Matti's CS Notebook

1.1 Propositional logic