Create, manipulate, and verify propositional logic sentences