clausification

Noun

 * 1)  The process of converting logic statements into standard clauses.