Propositional logic represented in Clojure.