clausification

/K L AO1 S AH0 F AH0 K EY1 SH AH0 N/
noun
  1. 1

    (logic) The process of converting logic statements into standard clauses.