Noun
clausification (plural clausifications) (logic) The process of converting logic statements into standard clauses.