Disjunktivní monomiál

Disjunktivní monomial ( elementární disjunkce , disjunkce , maxterm , klauze z anglického clause ) - disjunkce literálů (proměnné a jejich negace ):

{\displaystyle l_{1}\lor \cdots \lor l_{n))

kde každé je doslovné, to znamená nebo . $l_{i}$ $l_{i}=X$ $l_{i}=\neg X$

Může být nepravda pouze pro jednu ze všech možných sad hodnot proměnných, které jsou v ní obsaženy. Pokud obsahuje proměnnou i její negaci, pak vždy dává skutečnou hodnotu.

Příklady:

${\displaystyle \neg X_{1}\lor X_{2}\lor X_{3))$
$X_{2}\lor X_{2}$
${\displaystyle \neg X_{2}\lor X_{1}\lor \neg X_{4}\lor \neg X_{1}\lor X_{4}\lor \neg X_{2))$ [jeden]

Jakýkoli booleovský vzorec může být reprezentován jako konjunkce disjunktivních monočlenů ( konjunktivní normální forma ).

Důležitou třídou disjunktivních monočlenů jsou klauzule Hornovy , které se skládají nanejvýš z jednoho kladného literálu.

Poznámky

↑ Spojka je asociativní , takže závorky se uvnitř monočlenů nepíší.

Odkazy

výroková logika