Chap 2.5 : Simplification and negation normal form