Can perform operations on expressions written in the language of Propositional Logic