Clausal form

Redirect to:

• Conjunctive normal form