La Forma Normal Disyuntiva (FND) es una expresión lógica escrita como una disyunción de literales o conjunciones de literales. La Forma Normal Conjuntiva (FNC) es una expresión lógica escrita como una conjunción de literales o disyunciones de literales. Existen algoritmos para calcular las FND y FNC de una expresión lógica o función lógica dada por una tabla, los cuales involucran eliminar conectivos lógicos y interiorizar negaciones y conjunciones/disyunciones. Las

1. Forma Normal Disyuntiva (FND) Si está escrita como una disyunción, en la cual todos los términos son literales o conjunción de literales Si en un término aparecen todas las variables se dice minitérmino y la forma normal con minitérminos se dice Forma Normal Disyuntiva Completa Proposición atómica P , Q , R , etc Constantes proposicionales- Valores de Verdad: V , F Formas Normales de una expresión lógica Conectivos Lógicos , , , , Forma Normal Conjuntiva (FNC) Si está escrita como una conjunción, en la cual todos los términos son literales o disyunción de literales Si en un término aparecen todas las variables se dicen maxitérmino y la forma normal con maxitérminos se dice Forma Normal Conjuntiva Completa Expresiones Lógicas PQ PQ PQ Literales P , Q , V , F Literales Complementarios P y P

3. - Interiorizar las negaciones usando las equivalencias

4. -Interiorizar las conjunciones o las disyunciones según se busque la FND o la FNC, usando las equivalenciasAlgoritmo de cálculo de las Formas Normales de funciones lógicas dadas por tablas Propiedad de los minitérminos: Son verdaderos para una única combinación de las variables Para la FND: 1-Observar los renglones donde la función es V 2-Obtener los minitérminos 3-Formar la función como la disyunción de minitérminos Propiedad de los maxitérminos: Son falsos para una única combinación de las variables Para la FNC: 1 – Observar los renglones donde la función es F 2 – Obtener los maxitérminos correspondientes 3 – Formar la función como la conjunción de maxitérminos 4- Simplificar, si es posible. Decisión de Tautologicidad por medio de las FNC Si una expresión lógica es tal que su FNC posee, en todos sus maxitérminos, literales complementarios, entonces dicha expresión lógica es una tautología Aplicación: Determinación de la validez de un argumento lógico El argumento lógico es válido si, y sólo sí la FNC correspondiente posee en todos sus maxitérminos literales complementarios