tseitin transformation produces cnf, but not for all ops or arbitrary
number of arguments of logical function
tseitin cnf for nand, nor added
Merge branch 'master' of git@github.com:moerkb/logical-workbench.git