Está en la página 1de 5

ANDRES BONILLA

ANGEL DARIO CLAVIJO


RAFAEL RIVEROS
Son formas estándar para las expresiones lógicas, existen dos tipos de
formas normales, formas normales disyuntivas y formas normales
conjuntivas. Conjuncion= Λ =Y Disyuncion=V=0

Forma norma disyuntiva Forma normal conjuntiva

Se dice que una expresión lógica Se dice que una expresion logica
está en forma normal disyuntiva si está en forma normal conjuntiva si
está escrita como una disyunción, está escrita como una conjunción de
en el cual todos los términos son disyunciones de literales.
conjunciones de literales.
1. Eliminar todas las → y ↔.
2. Si la expresión contiene cualquier subexpresión compuesta negada,
elimínela.
3. Una vez encontrada una expresión sin ninguna subexpresión
compuesta negada, use las dos leyes siguientes para reducir el
alcance de V.

a.) Av(B ΛC)= (AvB) Λ (AvC)


b.) (A ΛB)vC= (AvC) Λ (BvC)

EJEMPLO: ~((P v ~Q) Λ ~R)


P Q R F
V V V V
V V F F Si una función , tal como f, esta dada pon una
V F V V tabla de verdad, sabemos exactamente para que
V F F F asignaciones es verdadera, por consiguiente,
podemos seleccionar los términos mínimos que
F V V F hacen a la función verdadera y formar la
F V F F disyunción de estos términos mínimos.
F F V V
F F F F
La complementación es un modo eficiente de negar una expresión, es decir
el complementario de A es siempre la negación de A.
EJEMPLO: A= (P Λ Q) v ~R
La complementación puede utilizarse para hallar la forma normal conjuntiva
a partir de una tabla de verdad de cualquier función f. Primero se determina
la forma normal disyuntiva de ~f y Luego se realiza la complementación.
EJEMPLO:
P Q R F
V V V V
V V F V
V F V F
V F F F
F V V V
F V F V
F F V F
F F F V