Clause (logic)

A Disjunktionsterm ( also referred to as disjunct or clause) is a Boolean function, which is constituted solely by the disjunction of literals. Their general form looks like this:

, where

A Disjunktionsterm that contains all of the indexes under consideration Boolean function is also referred to as Maxterm. If you add together several Disjunktionsterme by conjunctions, we obtain a Conjunctive Normal Form.

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

Some examples of Disjunktionsterme, each atoms are:

• Mathematical Logic