Disjunction term

A disjunction term (also known as a disjunction term or clause ) is a Boolean function that is formed exclusively by the disjunctive concatenation of literals . Their general form looks like this:

${\displaystyle X_{1}\vee X_{2}\vee \dots \vee X_{k}}$, where . ${\displaystyle X_{i}\in \lbrace 0,1\rbrace }$

A disjunction term that contains all indices of the Boolean function under consideration is also known as a max term. If you add several disjunction terms by conjunctions , you get a conjunctive normal form . ${\displaystyle F\colon \{0;1\}^{n}\rightarrow \{0;1\}}$

The corresponding conjunctive combination of literals is called a conjunction term .

Some examples of disjunction terms, where the atoms are: ${\displaystyle A_{i}}$

${\displaystyle \neg A_{0}\vee A_{1}}$

${\displaystyle A_{0}\vee A_{1}\vee A_{2}}$

${\displaystyle \neg A_{0}\vee \neg A_{1}\vee \neg A_{2}}$