Monomio disyuntivo

Monomio disyuntivo ( disyunción elemental , disyunción , maxterm , cláusula de la cláusula inglesa ) - disyunción de literales (variables y sus negaciones ):

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

donde each es un literal, es decir, o . $l_{yo}$ ${\ estilo de visualización l_ {i} = X}$ $l_{i}=\neg X$

Puede ser falso solo para uno de todos los posibles conjuntos de valores de las variables incluidas en él. Si contiene tanto una variable como su negación, entonces siempre da un valor verdadero.

Ejemplos:

${\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))$ [una]

Cualquier fórmula booleana se puede representar como una conjunción de monomios disyuntivos ( forma normal conjuntiva ).

Una clase importante de monomios disyuntivos son las cláusulas de Horn , que consisten en un literal positivo como máximo.

Notas

↑ La conjunción es asociativa , por lo que no se escriben paréntesis dentro de los monomios.

Enlaces

Lógica proposicional