Section 3.4

Boolean Functions and Propositional Logic