Formas Normales, Inferencias , Tablas de Karnaugh

Existen dos formas normales que se utilizan en la lógica proposicional 

Forma Normal Conjuntiva

Un polinomio esta de forma normal conjuntiva si el operador de primera instancia (el que une las preposiciones) es la disyunción y el operador que liga los monomios es la conjunción

Una tabla de verdad esta en forma normal conjuntiva si en su salida la cantidad minima de términos es falsa, esta escribe el polinomio de forma normal conjuntiva afirmando las preposiciones que son falsas y negando las verdaderas

Forma Normal Disyuntiva

Un polinomio esta de forma normal Disyuntiva si el operador de primera instancia (el que une las preposiciones) es la conjunción y el operador que liga los monomios es la disyunción, es lo contrario a la F.N.C

Una tabla de verdad esta en forma normal Disyuntiva si en su salida la cantidad minima de términos es verdadera, esta escribe el polinomio de forma normal conjuntiva afirmando las preposiciones que son falsas y negando las verdaderas

                                     

Inferencias

Son formas del pensamiento donde prima la validez de las premisas sobre la valide de las proposiciones bajo algunas condiciones

•         Las premisas han de ser verdaderos
•         Se toma para su estudio las tablas de la implicación y la disyunción

Modus Ponendo Poness (Afirmando afirmas)

Si una implicación es verdadera y su antecedente es verdadero entonces el consiente debe ser verdadero

Modus Tallendo Tallens (negando niega)

Si una implicación es verdadera y su antecedente es falso entonces el cociente debes ser falso

Modus Tallendo Poness ( Negando afirma)

Si una implicación es verdadera y una de sus proposiciones es  falsa entonces el cociente debes ser falso, entonces la otra proposición es verdadera

Tabla de Karnaugh

Es un diagrama utiliza para la simplificacion de funciones de caracter algabraica booleanas y lleva dicho nombre gracias al Maurice Karnaugh, dicho diagrama es una representacion gráfica de como se construye una función de algebra Booleana por medio de tablas que el mismo profesor Karnaugh creo, la idea de este mapa es mostrar la forma mas practica y rapida de crear la funcion por medio la escogencia de los valores verdaderos y construir por medio de cruce entre los valores 

Mas información Sobre Karnaugh aqui