Disjunktiivinen monomiaali

Disjunktiivinen monomi ( alkeisdisjunktio , disjunkti , maxterm , lause englannin lauseesta ) - literaalien disjunktio ( muuttujat ja niiden negaatiot ):

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

jossa jokainen on literaali, eli tai . $l_{i}$ $l_{i}=X$ $l_{i}=\neg X$

Voi olla epätosi vain yhdelle kaikista siihen sisältyvien muuttujien mahdollisista arvojoukoista. Jos se sisältää sekä muuttujan että sen negatiivin, se antaa aina todellisen arvon.

Esimerkkejä:

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

Mikä tahansa Boolen kaava voidaan esittää disjunktiivisten monomien konjunktiona ( konjunktiivinen normaalimuoto ).

Tärkeä disjunktiivisten monomien luokka ovat Horn-lauseet , jotka koostuvat enintään yhdestä positiivisesta literaalista.

Muistiinpanot

↑ Konjunktio on assosiatiivinen , joten monomiaalien sisään ei kirjoiteta sulkeita.

Linkit

propositionaalinen logiikka