Binary decision diagrams,cnf/dnf convert,truth tables in clojure