Describir: The Truth Table Formulation of Propositional Logic.