conjunctive normal forms