Monomio conjuntivo

Monomio conjuntivo (conjunción elemental, minterm) - en lógica proposicional, la conjunción de literales (variables y sus negaciones ):

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

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

Es fácil ver que un minitérmino puede tomar el valor "Verdadero" por el único de todos los posibles conjuntos de valores de las variables incluidas en él. Si un monomio contiene simultáneamente una variable y su negación, entonces siempre es igual a falso.

Ejemplos

$X_{1}\tierra X_{2}$
${\displaystyle X_{1}\tierra \neg X_{2}\tierra X_{3))$
${\displaystyle X_{3}\land X_{1}\land \neg X_{4}\land \neg X_{1}\land \neg X_{3}\land X_{2))$ [una]

Notas

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

Véase también

Forma normal disyuntiva
Forma normal conjuntiva
Monomio disyuntivo
monomio perfecto
álgebra de Boole
Álgebra de la lógica

Enlaces

Lógica proposicional