Konjunktiv monomial

Konjunktiv monomial (elementær konjunktion, minterm) - i propositionel logik, konjunktionen af bogstavelige (variabler og deres negationer ):

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

hvor hver er en bogstavelig, det vil sige eller . $l_{i}$ $l_{i}=X$ $l_{i}=\neg X$

Det er let at se, at et minterm kan tage værdien "True" for det eneste af alle mulige værdisæt af de variable, der er inkluderet i det. Hvis en monomial samtidig indeholder en variabel og dens negation, så er den altid lig med falsk.

Eksempler

$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))$ [en]

Noter

↑ Konjunktionen er associativ , så parenteser er ikke skrevet inde i monomialerne.

Se også

Disjunktiv normalform
Konjunktiv normalform
Disjunktiv monomial
Perfekt Monomial
boolsk algebra
Algebra af logik

Konjunktiv monomial

Eksempler

Noter

Se også

Links