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