Konjunktív monomiális

Konjunktív monomiális (elemi kötőszó, minterm) - a propozíciós logikában a literálok (változók és tagadásaik ) konjunkciója :

{\displaystyle l_{1}\land \ldots \land l_{n))

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

Könnyen belátható, hogy a minterm felveheti az "Igaz" értéket a benne szereplő változók lehetséges értékkészletei közül az egyetlen számára. Ha egy monomiális egyidejűleg tartalmaz egy változót és annak tagadását, akkor mindig egyenlő a hamis értékkel.

Példák

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

Jegyzetek

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

Lásd még

Diszjunktív normál forma
Konjunktív normál forma
Disjunktív monomiális
Tökéletes Monomial
Boole-algebra
Logikai algebra

Linkek

propozíciós logika