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