Konjunktivní jednočlenný

Konjunktivní jednočlen (elementární konjunkce, minterm) - ve výrokové logice konjunkce literálů (proměnné a jejich negace ):

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

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

Je snadné vidět, že minterm může mít hodnotu „True“ pro jedinou ze všech možných sad hodnot proměnných, které jsou v něm obsaženy. Pokud jednočlen současně obsahuje proměnnou a její negaci, pak je vždy roven nepravdě.

Příklady

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

Poznámky

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

Viz také

Disjunktivní normální forma
Konjunktivní normální forma
Disjunktivní monomiál
Perfektní Monomial
Booleovská algebra
Algebra logiky

Odkazy

výroková logika