clausify

Verb

 * 1)  To convert logic statements into standard clauses