clausal normal form

== English == === Noun === clausal normal form (countable and uncountable, plural clausal normal forms) (logic) Synonym of conjunctive normal form.