Disjunktív monomiális

Disjunktív monomiális ( elemi diszjunkció , diszjunkt , maxterm , tagmondat az angol tagmondatból ) - literálok diszjunkciója (változók és tagadásaik ):

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

ahol mindegyik egy literál, azaz vagy . $l_{i}$ $l_{i}=X$ $l_{i}=\neg X$

A benne szereplő változók összes lehetséges értékkészlete közül csak egy lehet hamis. Ha változót és tagadását is tartalmazza, akkor mindig igaz értéket ad.

Példák:

${\displaystyle \neg X_{1}\vagy X_{2}\vagy X_{3))$
$X_{2}\vagy X_{2}$
${\displaystyle \neg X_{2}\vagy X_{1}\vagy \neg X_{4}\vagy \neg X_{1}\vagy X_{4}\vagy \neg X_{2))$ [egy]

Bármely Boole-képlet ábrázolható diszjunktív monomiumok konjunkciójaként ( konjunktív normálforma ).

A diszjunktív monomiumok fontos osztálya a Horn-klauzulók , amelyek legfeljebb egy pozitív literálból állnak.

Jegyzetek

↑ A kötőszó asszociatív , így a monomok belsejébe nem írunk zárójelet.

Linkek

propozíciós logika