implemented CNF, including tests
added tests for entails and equiv (and corrected a bug)
-- bug:
in comparing truth tables, the size of the tables was sometimes different, now it always uses the valuations of the formula with the most propNames
Merge branch 'master' of github.com:FerryRiet/SE-Testing