"Conjunctive normal form"@en .