Clause normal form
Redirect to:
Conjunctive normal form