Monomul conjunctiv

Monomiul conjunctiv (conjuncție elementară, minterm) - în logica propozițională, conjuncția literalelor (variabilele și negațiile lor ):

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

unde fiecare este un literal, adică sau . $l_{i}$ $l_{i}=X$ $l_{i}=\nega X$

Este ușor de observat că un minterm poate lua valoarea „Adevărat” pentru singurul dintre toate seturile posibile de valori ale variabilelor incluse în el. Dacă un monom conține simultan o variabilă și negația acesteia, atunci este întotdeauna egal cu fals.

Exemple

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

Note

↑ Conjuncția este asociativă , astfel încât parantezele nu sunt scrise în interiorul monomiilor.

Vezi și

Forma normală disjunctivă
Forma normală conjunctivă
Monomul disjunctiv
Monomiul perfect
algebră booleană
Algebra logicii

Link -uri

Logica propozițională