Monomul disjunctiv

Monomiul disjunctiv ( disjuncție elementară , disjunct , maxterm , clauză din clauza engleză ) - disjuncția literalelor (variabilele și negațiile lor ):

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

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

Poate fi fals numai pentru unul dintre toate seturile posibile de valori ale variabilelor incluse în acesta. Dacă conține atât o variabilă, cât și negația acesteia, atunci dă întotdeauna o valoare adevărată.

Exemple:

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

Orice formulă booleană poate fi reprezentată ca o conjuncție de monomii disjunctive ( forma normală conjunctivă ).

O clasă importantă de monomii disjunctive sunt clauzele Horn , care constau în cel mult un literal pozitiv.

Note

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

Link -uri

Logica propozițională