¶
Classical Propositional Logic
Please expand.
¶
References
Boole