canonical conjunctive normal forms