El documento explica dos formas normales lógicas: forma normal disyuntiva y forma normal conjuntiva. La forma normal disyuntiva es una expresión escrita como una disyunción de conjunciones de literales, mientras que la forma normal conjuntiva es una expresión escrita como una conjunción de disyunciones de literales. También describe cómo usar tablas de verdad y leyes lógicas para convertir expresiones a estas formas normales.

1. ANDRES BONILLA ANGEL DARIO CLAVIJO RAFAEL RIVEROS

2. 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 está en forma normal disyuntiva si está escrita como una disyunción , en el cual todos los términos son conjunciones de literales . Se dice que una expresion logica está en forma normal conjuntiva si está escrita como una conjunción de disyunciones de literales.

3. Eliminar todas las -> y ↔. Si la expresión contiene cualquier subexpresión compuesta negada, elimínela. 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)

4. Si una función , tal como f, esta dada pon una tabla de verdad, sabemos exactamente para que asignaciones es verdadera, por consiguiente, podemos seleccionar los términos mínimos que hacen a la función verdadera y formar la disyunción de estos términos mínimos. P Q R F V V V V V V F F V F V V V F F F F V V F F V F F F F V V F F F F

5. 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