noun
Meaning 1
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)”.
Definition source: English Wiktionary via Wiktextract
Usage: countable, uncountable
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: clausal normal form
Antonyms: none provided