All basic function produce terms with AND OR and NOT only
Merge branch 'master' of https://github.com/moerkb/logical-workbench