Reglas de Simplificacion

Reglas de simplificaciones

Son reglas que se utilizan tanto en el álgebra booleana como en la lógica proposicional que ayuda a reducir en al máximo la mayor cantidad de Operadores lógicos que se encuentran dentro de una función algebraica o una función lógica proposicional para ambos casos se utilizan las mismas solo que cambia la sintaxis

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

Algebra Booleana

Álgebra Booleana

Es una estructura algebraica que esquematiza las operaciones lógicas (  Y ,  O ,   NO ,   SI,    AND ,   OR ,   NOT ,  IF) así como el conjunto de operaciones unión intersección y complemento

Existen las mismas tres característica del álgebra Booleana

•       El verdadero y el falso (Equivalen a  1 - 0 )
•       P , q , r  ( Equivalen a A , B , C )
•       No utiliza arboles sino circuitos  

Es  el mismo proceso que se utiliza en la lógica proposicional lo único que cambia es la sintaxis como se puede ver .

Utiliza la mismas reglas de simplificación y las formas normales que se utilizan en la lógica propisicional

Operadores (Lógica Proposicional)

Operadores

1. Negación :    no 
   
    
2. Conjunción    y
   
   
3.  Conjunción Negado
   
   
   
4. Disyunción
   
   
5. Disyunción Negado
   
   
   
6. Implicación
   
   
7. Implicación Contraria
   
   
   
8. Implicación Negada
   
   
9. Implicación Contraria Negada
   
   
   
10. Bicondicional