Boolean Simplification in Clojure