De Tablas de Verdad a Lógica Fiable: Dominando Expresiones Booleanas para Diseño Digital Seguro

Cuando los ingenieros diseñan sistemas digitales, típicamente comienzan con una tabla de verdad que describe el comportamiento lógico deseado.

El desafío radica en seleccionar la circuitería apropiada —ya sean compuertas lógicas, conjuntos de relés o controladores programables— que implemente fielmente ese comportamiento.

Aunque diseñadores experimentados pueden mapear instantáneamente una tabla de verdad a una solución de hardware, existen técnicas sistemáticas para que todos los ingenieros las sigan.

El álgebra booleana proporciona un método claro, paso a paso, que transforma cualquier tabla de verdad en un circuito funcional.

Para ilustrar este proceso, consideremos un problema realista de ingeniería: diseñar un sistema de detección de llama para un incinerador de residuos tóxicos.

La combustión a alta temperatura se usa para neutralizar desechos peligrosos. Este método es común para desechos médicos que pueden portar patógenos mortales.

 

 

Mientras persista una llama en el incinerador, es seguro inyectar desechos para su destrucción. Si la llama se extingue, cualquier residuo restante podría salir por el escape sin neutralizar, representando un riesgo grave para la salud.

Nuestro sistema requiere, por tanto, un detector de llama a prueba de fallos que permita la inyección de desechos solo cuando se verifique la llama.

La detección de llama puede lograrse mediante sensores ópticos, térmicos o de conducción eléctrica —cada uno con sus propias fortalezas y debilidades.

Dado el alto riesgo, el diseño exige detección redundante: múltiples sensores para que un solo fallo no pueda desencadenar operación insegura.

Cada sensor suministra un contacto normalmente abierto que cierra cuando detecta llama. Estos contactos alimentan las entradas del sistema lógico.

 

 

Nuestro objetivo es construir lógica que abra la válvula de desechos solo cuando los sensores confirmen llama.

Primero, debemos definir el comportamiento lógico. ¿Bastaría un solo sensor? No —permitir que la válvula se abra si solo uno de tres sensores reporta llama anula la redundancia y la seguridad.

En su lugar, requerimos que los tres sensores concuerden antes de abrir la válvula. Este enfoque garantiza que una sola lectura falsa de "llama" no pueda mantener la válvula abierta; los tres tendrían que fallar simultáneamente —un escenario altamente improbable.

Consecuentemente, la tabla de verdad es simple: la salida es alta solo cuando las entradas A, B y C son todas altas.

 

 

Esta función se logra fácilmente con una compuerta AND de tres entradas, que produce salida alta solo cuando todas las entradas son altas.

 

 

Si se usan relés, el comportamiento AND puede replicarse cableando los contactos de sensores en serie o con contactos de relé en serie —solo así la energía alcanzará la válvula cuando cada sensor confirme llama.

 

 

Aunque este diseño maximiza la seguridad, también hace al sistema vulnerable a fallos de "falso negativo de llama": un sensor que no detecta una llama real cerrará la válvula innecesariamente, desperdiciando combustible y tiempo.

Idealmente, queremos un sistema lógico que tolere un sensor con falso negativo pero siga protegiendo contra errores de falso positivo. Una regla "dos de tres" satisface ambas necesidades: la válvula se abre si al menos dos sensores reportan llama.

A continuación está la tabla de verdad para esa lógica.

 

 

Usando Suma-de-Productos

A primera vista, no es obvio qué circuito implementará esta tabla de verdad. La forma Suma-de-Productos (SOP) de expresión booleana lo resuelve.

Una expresión SOP es una suma de términos de producto —cada producto siendo una conjunción de variables o sus complementos.

Por ejemplo: ABC + BC + DF es un SOP simple donde "ABC", "BC" y "DF" son los términos de producto.

Para generar un SOP desde una tabla de verdad, liste cada fila donde la salida es alta (1) y escriba un término de producto que sea 1 para esas entradas.

Considere la fila donde A=0, B=1, C=1. El término de producto es A′BC, que evalúa a 1 solo bajo esa condición exacta.

 

 

Las filas altas restantes producen tres términos de producto más:

 

 

Combinándolos con OR lógico se obtiene la expresión SOP completa para la lógica dos-de-tres:

 

 

Una vez tenemos el SOP, diseñar el circuito es directo: cada término de producto mapea a una compuerta AND, y el OR de esas compuertas produce la salida final.

 

 

Aunque correctos, estos circuitos pueden ser voluminosos. El álgebra booleana nos permite simplificar la expresión dramáticamente.

 

 

Con la expresión simplificada, podemos construir lógica más esbelta —ya sea con compuertas o relés— preservando la misma función.

 

 

Cualquiera de estos circuitos optimizados controlará fiablemente la válvula de desechos del incinerador basada en confirmación de llama dos-de-tres.

Podemos mejorar aún más la seguridad añadiendo lógica que detecte desacuerdo entre sensores —cualquier condición donde las tres entradas no sean idénticas.

Cuando todos los sensores funcionan correctamente, deberían leer todos bajo (000) o todos alto (111). Cualquier otra combinación (001, 010, 011, 100, 101, 110) indica desacuerdo y fallo potencial.

Una alarma activada por tal desacuerdo permite a operadores evaluar si continuar operación o apagar por seguridad.

Para diseñar este detector de "desacuerdo de sensores", expandimos la tabla de verdad con una columna de salida extra representando la señal de alarma.

 

 

Generar un SOP para esta columna implicaría seis términos de producto —poco manejable y propenso a errores.

 

 

Usando Producto-de-Sumas

En lugar de sumar las filas altas, podemos construir una expresión Producto-de-Sumas (POS) que capture las filas bajas, resultando en menos términos.

Una expresión POS multiplica sumas de variables (términos OR) juntas. Por ejemplo: (A + B)(C + D).

Primero, identifique filas con salida baja (0) y escriba una suma que evalúe a 0 bajo esas condiciones de entrada.

Para la primera fila (A=0, B=0, C=0), el término de suma es (A + B + C), que es 0 solo cuando los tres son cero.

 

 

Solo otra fila produce salida 0: A=1, B=1, C=1. La suma correspondiente es (A′ + B′ + C′).

 

 

La expresión POS completa es el producto de estas dos sumas:

 

 

Mientras un SOP mapea naturalmente a una red de compuertas AND alimentando una OR única, un POS mapea a compuertas OR alimentando una AND única.

 

 

Alternativamente, la implementación con relés de un POS usa contactos en paralelo en serie, reflejando la configuración de compuertas.

 

 

Estos dos circuitos ilustran la lógica de desacuerdo de sensores por sí sola; el sistema completo combina los detectores de "buena llama" y desacuerdo.

En una implementación PLC, la lógica completa podría verse así:

 

 

Tanto las formas SOP como POS son herramientas poderosas para derivar lógica funcional desde una tabla de verdad. Permiten diseño determinista y automatizable —así una computadora podría generar un circuito lógico personalizado solo desde una especificación.

Como el proceso de conversión es directo, requiere mínima creatividad, permitiendo a diseñadores enfocarse en preocupaciones de seguridad y rendimiento de alto nivel.

REVISIÓN:

• Las expresiones Suma-de-Productos (SOP) se construyen listando filas con salida alta, creando un término de producto para cada una, y sumándolas.
• SOP mapea limpiamente a una serie de compuertas AND alimentando una sola compuerta OR.
• Las expresiones Producto-de-Sumas (POS) se construyen listando filas con salida baja, creando un término de suma para cada una, y multiplicándolas.
• POS mapea a una serie de compuertas OR alimentando una sola compuerta AND.

HOJAS DE TRABAJO RELACIONADAS:

• Hoja de Trabajo de Expresiones Suma-de-Productos y Producto-de-Sumas
• Hoja de Trabajo de Álgebra Booleana