Leyes Lógicas
Clase 2: Optimización y simplificación de circuitos de verdad.
Ingeniería de Proposiciones
En ingeniería, no nos interesa solo que algo funcione, sino que sea eficiente. Las tablas de verdad son útiles para validar, pero las Leyes Lógicas nos permiten transformar una expresión compleja en una simple sin perder información. Es el equivalente lógico a "factorizar" en álgebra.
Conceptos Clave
Equivalencia ($\equiv$)
Dos fórmulas son equivalentes si sus tablas de verdad son idénticas.
Ej: $p \implies q \equiv \neg p \lor q$.
De Morgan
La negación de una conjunción es la disyunción de las negaciones (y viceversa).
Ej: $\neg(A \land B) \equiv \neg A \lor \neg B$.
Absorción
La ley de la eficiencia máxima. Elimina redundancias.
Ej: $p \land (p \lor q) \equiv p$.
Descargas
Guía Técnica N°2: Leyes Lógicas
PDFEl 'Kit de Herramientas' del ingeniero: Simplificación, De Morgan y Absorción.