Naming Question. CNF Clauses vs DNF What?

Question

A Conjunctive Normal Form is a set of (conjunction of) clauses (disjunctions). A Disjunctive Normal Form is a set of (disjunction of) ? (conjunctions). I don't want to use the word conjunct because it is long and awkward and typo-prone. I have seen some people using the word "term". Any suggestions?

Answer 1

It seems that there is no agreed terminology...

See Clause:

In logic, a clause is an expression formed from a finite collection of literals (variables or their negations) that is true either whenever at least one of the literals that form it is true (a disjunctive clause, the most common use of the term), or when all of the literals that form it are true (a conjunctive clause, a less common use of the term).

For a different proposal, see :

• Alan Robinson & Andrei Voronkov (editors), Handbook of automated reasoning. Volume 1 (2001), page 23:

A finite multiset of formulas may either be interpreted as the disjunction or as the conjunction of its elements.

We will interpret multisets as disjunctions and speak of (general) clauses.

On rare occasions we will interpret multisets as conjunctions, in which case we will speak of dual clauses.