Need synonyms for clausal normal form? Here's a list of similar words from our thesaurus that you can use instead.
Noun
The form of a boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as "(A or B or C) and (D or E or not F)"