Title: Classical propositional operators
Subjects: Propositional calculus