Hierarchy:
Description:
{{logic}} 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)".
Ngram:
Ngram Text:
conjunctive normal form
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
3