Cómo construir puertas lógicas XOR y NAND en un PLC con OLLA Lab

Para traducir el álgebra booleana a la lógica ladder IEC 61131-3, los ingenieros mapean estados lógicos abstractos al comportamiento de contactos basado en el escaneo y a bobinas de salida. En OLLA Lab, las puertas XOR y NAND no solo se dibujan como símbolos; se validan frente a E/S simuladas, estados de fallo y lógica de respuesta de la máquina antes de cualquier despliegue en tiempo real.

El álgebra booleana y la lógica ladder están relacionadas, pero no son intercambiables. Las expresiones booleanas son abstractas y, en papel, son efectivamente atemporales; la lógica ladder es ejecutada por un PLC en un ciclo de escaneo, con entradas reales, estados almacenados y actualizaciones de salida. Esa diferencia es donde comienzan muchos errores de principiante.

Un punto de referencia interno de Ampergon Vallis lo señala con precisión: el 68% de los usuarios falló en su primera construcción de alarma de discrepancia al implementar el comportamiento XOR en OLLA Lab [Metodología: n=500 secuencias lógicas de principiantes, tarea definida como construir y probar una alarma de discrepancia de dos entradas en el entorno de simulación, comparador de referencia = aprobado/fallido en el primer intento frente a la tabla de verdad esperada y el comportamiento simulado, ventana de tiempo = enero-febrero de 2026]. Esto respalda una afirmación limitada: traducir la intención booleana a una estructura ladder correcta es más difícil que reconocer la tabla de verdad. No respalda ninguna afirmación más amplia sobre la competencia de los ingenieros en toda la industria.

El álgebra booleana describe relaciones lógicas. El diagrama de contactos (LD) IEC 61131-3 describe cómo se implementan esas relaciones en un sistema de control basado en escaneo.

La distinción práctica es la siguiente:

- La lógica de PLC se ejecuta cíclicamente: leer entradas -> ejecutar lógica -> escribir salidas.

• El álgebra booleana trata variables como A y B como estados lógicos abstractos.
• La lógica ladder mapea esos estados a etiquetas (tags), bits de memoria y E/S físicas o simuladas.
• Las expresiones booleanas se leen como relaciones estáticas.

Ese comportamiento del ciclo de escaneo es importante porque un peldaño (rung) no es simplemente una ecuación simbólica. Se evalúa en secuencia utilizando la imagen actual del proceso que tiene el controlador.

### Matriz de traducción básica: de booleano a lógica ladder

Los primeros mapeos estándar son directos:

• AND -> contactos en serie
• OR -> contactos en paralelo
• NOT -> representación de contacto normalmente cerrado
• Condición de salida TRUE -> bobina energizada o bit interno
• Condición de salida FALSE -> bobina desenergizada o bit borrado

Estos mapeos son fundamentales, pero no son toda la historia. La tarea de ingeniería no es solo representar la lógica. Es representar la lógica de una forma que permanezca observable, comprobable y segura bajo condiciones de proceso realistas.

Por qué la capa física cambia el significado

Una variable booleana no es un cable. En un PLC, una etiqueta puede representar:

• una entrada de campo de 24 VCC,
• un bit de memoria interna,
• un estado derivado,
• una permisiva,
• una condición de disparo (trip),
• o un estado de equipo simulado.

Es por eso que "correcto" debe definirse operacionalmente. En este artículo, correcto significa que el peldaño produce la salida esperada para todas las combinaciones de entrada relevantes y se comporta de manera coherente cuando se prueba frente a estados de proceso simulados y casos de fallo.

Por qué es importante la norma IEC 61131-3

La norma IEC 61131-3 estandariza lenguajes de programación que incluyen el Diagrama de Contactos, el Diagrama de Bloques Funcionales y el Texto Estructurado para controladores programables (IEC, 2013). No elimina las diferencias de implementación entre proveedores, pero proporciona un modelo de ejecución y un marco de lenguaje comunes.

Esto es importante porque la lógica booleana es universal, mientras que la implementación ladder siempre está vinculada a un modelo de controlador, un comportamiento de escaneo y un contexto de planta.

Una puerta NAND se vuelve falsa solo cuando ambas entradas son verdaderas. En el control industrial, esto la hace útil para patrones de permisivas e inhibiciones donde una salida permanece disponible a menos que se satisfaga simultáneamente una combinación específica de condiciones.

La forma booleana es:

• C = NOT (A AND B)

La interpretación ladder equivalente es:

• La salida C está activa cuando A es falsa, o B es falsa, o ambas son falsas.
• La salida C se desactiva solo cuando A y B son ambas verdaderas.

Por qué aparece la NAND en la lógica industrial

En electrónica, la NAND se introduce a menudo como una puerta universal. En la automatización industrial, el enfoque más útil es más estrecho: es una forma práctica de expresar "permitir a menos que estas condiciones coincidan".

Los ejemplos típicos incluyen:

• lógica de caída de permisivas,
• condiciones de inhibición combinadas,
• patrones de agregación de fallos,
• condiciones de retención de secuencia,
• supresión de estados anormales.

Esto debe limitarse cuidadosamente. Una implementación ladder de NAND no es un sustituto para el diseño formal de seguridad funcional bajo la norma IEC 61508 o la validación de seguridad de máquinas. Es un patrón de lógica de control, no un caso de seguridad automática.

Implementación ladder de una puerta NAND

Una forma ladder común de dos ramas es:

[Lenguaje: Diagrama de Contactos (Ladder)] // Puerta NAND: La salida está ON a menos que tanto la Entrada A como la Entrada B estén ON.

|----[/]----------------------------------------( )----| | Entrada A Salida C| | | |----[/]------------------------------------------------| | Entrada B |

Este peldaño utiliza contactos normalmente cerrados (NC) en paralelo:

• Si Entrada A = 0, la rama superior es verdadera.
• Si Entrada B = 0, la rama inferior es verdadera.
• Si cualquiera de las ramas es verdadera, la Salida C se energiza.
• Solo cuando A = 1 y B = 1, ambos contactos NC se evalúan como falsos, desactivando la salida.

Tabla de verdad para NAND en términos ladder

| Entrada A | Entrada B | Salida C | |-----------|-----------|----------| | 0 | 0 | 1 | | 0 | 1 | 1 | | 1 | 0 | 1 | | 1 | 1 | 0 |

Cómo construir la puerta NAND en OLLA Lab

Utilice el editor ladder basado en web para construir una prueba de permisiva compacta de dos entradas:

El paso importante no es dibujar el peldaño. Es probar el comportamiento:

• ambas entradas falsas -> salida encendida,
• una entrada verdadera -> salida encendida,
• ambas entradas verdaderas -> salida apagada.

1. Cree etiquetas para Input_A, Input_B y Output_C.
2. Inserte dos contactos normalmente cerrados en ramas paralelas separadas.
3. Asigne una rama a Input_A y la otra a Input_B.
4. Coloque Output_C como la bobina accionada.
5. Ejecute la simulación.
6. Alterne las entradas en el Panel de Variables y verifique la tabla de verdad.

Un ejemplo de permisiva realista

Considere una permisiva simplificada donde una inhibición de mantenimiento debería permanecer disponible a menos que ambas:

• A = Modo remoto seleccionado
• B = Secuencia de auto-arranque activa

Un peldaño tipo NAND puede mantener una salida verdadera hasta que ambas condiciones estén presentes simultáneamente. En la práctica, este patrón a menudo se integra dentro de redes de permisivas más grandes, no se muestra como una puerta de libro de texto.

Una puerta XOR se vuelve verdadera solo cuando exactamente una entrada es verdadera. En la automatización industrial, esto la hace útil para la detección de discrepancias, la verificación de doble estado y la identificación de fallos donde dos señales no deberían estar en desacuerdo de ciertas maneras.

La forma booleana es:

• C = (A AND NOT B) OR (NOT A AND B)

En términos ladder, la XOR se construye generalmente como dos ramas paralelas con contactos NA y NC acoplados de forma cruzada.

Por qué la XOR es importante en el diagnóstico de máquinas y procesos

La XOR se vuelve valiosa cuando dos señales representan estados de equipo mutuamente excluyentes.

Un ejemplo clásico es una válvula con:

• Final de carrera de apertura
• Final de carrera de cierre

En condiciones normales, esas dos indicaciones no deberían ser ambas verdaderas al mismo tiempo para una válvula simple de dos posiciones. Dependiendo del tiempo y del estado de desplazamiento, tampoco deberían permanecer ambas falsas indefinidamente. La filosofía exacta de la alarma depende del dispositivo y del diseño de la secuencia, pero la lógica de discrepancia a menudo se construye alrededor de la XOR o su complemento.

Implementación ladder de una puerta XOR

[Lenguaje: Diagrama de Contactos (Ladder)] // Puerta XOR: La salida está ON si A o B están ON, pero no ambos.

|----[ ]--------[/]----------------------------( )----| | Entrada A Entrada B Alarma C| | | |----[/]--------[ ]------------------------------------| | Entrada A Entrada B |

Este peldaño funciona de la siguiente manera:

• La rama superior es verdadera cuando A = 1 y B = 0
• La rama inferior es verdadera cuando A = 0 y B = 1
• Si cualquiera de las ramas es verdadera, la Alarma C se energiza
• Si ambas entradas son iguales, la alarma permanece apagada

Tabla de verdad para XOR en términos ladder

| Entrada A | Entrada B | Alarma C | |-----------|-----------|----------| | 0 | 0 | 0 | | 0 | 1 | 1 | | 1 | 0 | 1 | | 1 | 1 | 0 |

Cómo la XOR apoya las alarmas de discrepancia

Para una alarma de discrepancia, la XOR es útil cuando la condición de alarma se define como "las dos señales de estado no están de acuerdo".

Los ejemplos incluyen:

• desacuerdo en la indicación de abierto/cerrado,
• falta de coincidencia en sensores redundantes,
• falta de coincidencia entre el estado comandado y la retroalimentación,
• desacuerdo en el interruptor selector,
• bits de estado emparejados que se espera que sean mutuamente excluyentes.

Esto todavía debe ser diseñado con contexto. Una válvula en tránsito puede producir legítimamente un desacuerdo temporal o una pérdida temporal de ambas confirmaciones de estado final. Una buena lógica de alarma generalmente añade tiempo, estado de secuencia o contexto de movimiento. La XOR pura es un núcleo útil, no la filosofía terminada.

Cómo construir la puerta XOR en OLLA Lab

Utilice OLLA Lab para construir y probar el peldaño de discrepancia directamente en el navegador:

La secuencia de prueba debe confirmar:

• 00 -> alarma apagada
• 01 -> alarma encendida
• 10 -> alarma encendida
• 11 -> alarma apagada

Si el peldaño hace cualquier otra cosa, el problema suele ser una de estas tres cosas:

• tipo de contacto invertido,
• estructura de rama incorrecta,
• significado de la etiqueta mal definido.

1. Cree etiquetas para Input_A, Input_B y Alarm_C.
2. Añada dos ramas paralelas.
3. En la rama uno, coloque NA Input_A en serie con NC Input_B.
4. En la rama dos, coloque NC Input_A en serie con NA Input_B.
5. Accione Alarm_C con la salida de la rama.
6. Ejecute la simulación y alterne las dos entradas a través de los cuatro estados.

El ciclo de escaneo del PLC hace que la lógica ladder sea temporal, no meramente lógica. Las entradas se leen, la lógica se resuelve y las salidas se escriben en secuencia, lo que significa que el comportamiento depende de cuándo se observan los cambios de estado.

Para ejemplos básicos de dos entradas, el ciclo de escaneo puede parecer invisible. Para equipos reales, no lo es.

La secuencia de escaneo estándar

La mayoría de las ejecuciones de PLC siguen este patrón general:

1. Leer entradas
2. Ejecutar lógica del programa
3. Actualizar salidas
4. Realizar comunicaciones, diagnósticos, tareas de mantenimiento

Los detalles exactos varían según la plataforma, el modelo de tarea y el proveedor, pero el principio es estable.

Por qué esto es importante para la lógica de discrepancia

Una alarma de discrepancia XOR puede comportarse de manera diferente dependiendo de:

• tiempo de actualización de la entrada,
• tratamiento de rebote (debounce),
• estado de la secuencia,
• lógica de un solo disparo (one-shot),
• uso de temporizadores,
• movimiento asíncrono del dispositivo.

Por ejemplo:

• una válvula puede dejar ambos finales de carrera falsos durante el desplazamiento,
• un interruptor puede vibrar (chatter),
• una retroalimentación puede retrasarse respecto a la otra por varios escaneos,
• una entrada simulada o forzada puede cambiar limpiamente mientras que un dispositivo real no lo hace.

Es por eso que la validación consciente del escaneo es importante. El álgebra booleana asume relaciones de estado idealizadas. El equipo a menudo introduce retrasos, rebotes y ambigüedad.

Por qué esto es importante para las permisivas

Una permisiva tipo NAND puede desactivar una salida solo cuando ambas condiciones se vuelven verdaderas en el mismo estado evaluado. Si una condición está enclavada, retrasada o derivada a través de otro peldaño, el comportamiento observado puede diferir de la tabla de verdad simple a menos que se entienda la lógica circundante.

OLLA Lab simula el comportamiento de las puertas lógicas permitiendo a los usuarios construir peldaños ladder, ejecutarlos en un entorno controlado, alternar entradas, inspeccionar estados de variables y comparar resultados ladder frente al comportamiento del equipo simulado.

Eso lo convierte en un entorno de validación acotado para tareas de aprendizaje de alto riesgo, no en un sustituto para las pruebas de aceptación en sitio o la validación formal de seguridad.

Qué significa "Listo para la simulación" aquí

En este artículo, Listo para la simulación significa que un ingeniero puede:

• probar el comportamiento lógico esperado frente a estados de prueba definidos,
• observar la causalidad de E/S en la simulación,
• diagnosticar el comportamiento incorrecto del peldaño,
• inyectar condiciones anormales,
• revisar la lógica,
• y verificar el comportamiento revisado antes de tocar el equipo real.

Cómo probar un caso de fallo NAND en OLLA Lab

Utilice el Panel de Variables para recorrer las combinaciones de entrada:

• Establezca Input_A = 0, Input_B = 0 -> confirme Output_C = 1
• Establezca Input_A = 1, Input_B = 0 -> confirme Output_C = 1
• Establezca Input_A = 0, Input_B = 1 -> confirme Output_C = 1
• Establezca Input_A = 1, Input_B = 1 -> confirme Output_C = 0

Luego inyecte un escenario de fallo:

• redefina una entrada conceptualmente como una fuente de permisiva atascada en alto,
• observe si la salida todavía puede explicarse a partir de la estructura del peldaño,
• revise la lógica o la definición de la etiqueta si el comportamiento ya no coincide con la filosofía de control prevista.

Cómo probar un fallo de discrepancia XOR en OLLA Lab

Para un modelo de alarma de discrepancia:

- Luego simule un caso de fallo como:

• Alterne Input_A e Input_B a través de los cuatro estados de la tabla de verdad.
• Confirme que los estados de desacuerdo energizan Alarm_C.
• un final de carrera atascado en encendido,
• ambos interruptores forzados a verdadero,
• ambos interruptores falsos durante más tiempo del esperado,
• estado de comando inconsistente con el estado de retroalimentación.

El Panel de Variables es útil aquí porque expone el estado directamente.

Por qué esto es importante más allá de aprender la sintaxis

La simulación cierra la brecha entre la construcción del peldaño y la prueba de comportamiento. La investigación sobre gemelos digitales, la formación basada en simulación y la validación ciberfísica apunta al valor de las pruebas virtuales para reducir el riesgo, mejorar la comprensión del comportamiento del sistema y apoyar el descubrimiento temprano de fallos en los flujos de trabajo de automatización (Tao et al., 2019; Fuller et al., 2020; Villalonga et al., 2021).

Eso no significa que un simulador certifique un diseño. Significa que un simulador da a los ingenieros un lugar más seguro para encontrar errores obvios antes de que lo haga la planta.

Un buen flujo de trabajo define la corrección antes de que comiencen las pruebas. Si "correcto" se deja vago, la simulación se convierte en teatro.

Utilice esta estructura de evidencia compacta al documentar una construcción o revisión de puerta lógica:

Defina el equipo o la función de control. Ejemplo: "Válvula de dos posiciones con retroalimentación de abierto y cerrado utilizada para alarma de discrepancia".

Establezca el comportamiento esperado en términos observables. Ejemplo: "La alarma se energiza cuando exactamente una retroalimentación es verdadera; la alarma permanece apagada cuando ambas son iguales, sujeto a cualquier excepción de tiempo documentada por separado".

Defina la condición anormal. Ejemplo: "Final de carrera de cierre atascado en alto durante la transición de apertura comandada".

Muestre qué cambió. Ejemplo: "Se añadió un temporizador de transición y un calificador de estado de comando para suprimir la alarma molesta durante el desplazamiento normal".

Establezca lo que reveló la prueba. Ejemplo: "La XOR pura detectó el desacuerdo correctamente pero generó demasiadas alarmas durante las transiciones de estado legítimas".

1. Descripción del sistema
2. Definición operativa de 'correcto'
3. Lógica ladder y estado del equipo simulado Incluya el peldaño real y los estados de etiqueta simulados o estados de equipo correspondientes.
4. El caso de fallo inyectado
5. La revisión realizada
6. Lecciones aprendidas

El error más común es asumir que la tabla de verdad es el diseño. No lo es. La tabla de verdad es solo la restricción inicial.

Errores de implementación frecuentes

• Invertir contactos NA y NC
• Confundir el significado de la señal con el estado de la señal
• Ignorar los efectos del ciclo de escaneo
• Probar solo el caso esperado
• Tratar la lógica de permisivas como equivalente a la lógica de seguridad
• No definir el modelo de estado del proceso

Una corrección práctica

Al construir cualquier peldaño basado en puertas, defina tres cosas antes de simular:

• qué representa física o lógicamente cada etiqueta,
• qué comportamiento de salida se considera correcto,
• qué estados anormales deben tolerarse frente a cuáles deben generar alarma.

Esa disciplina elimina una cantidad sorprendente de confusión. Muchos "errores de lógica" son en realidad errores de especificación.

Utilice OLLA Lab cuando la tarea de ingeniería requiera el ensayo del comportamiento lógico, la causalidad de E/S, la inyección de fallos o la validación de secuencias sin exponer el equipo real a riesgos innecesarios.

Esto incluye:

• práctica de ladder de principiante a intermedio,
• ensayo de alarmas de discrepancia,
• pruebas de lógica de permisivas,
• trabajo de escenarios de control de válvulas y motores,
• revisión de interacción analógica/discreta,
• ejercicios de laboratorio dirigidos por instructor,
• recorridos lógicos de pre-comisionamiento en un entorno acotado.

Basado en la documentación del producto, OLLA Lab apoya esto a través de:

• un editor de lógica ladder basado en navegador,
• modo de simulación,
• visibilidad de variables y E/S,
• preajustes industriales basados en escenarios,
• flujos de trabajo de validación orientados a gemelos digitales,
• acceso a simulación 3D/WebXR/VR donde esté habilitado,
• instrucciones de construcción guiadas,
• coaching de laboratorio con IA a través de GeniAI.

La afirmación acotada es simple: OLLA Lab ofrece a los ingenieros un entorno práctico para construir y probar la lógica ladder frente al comportamiento simulado. No reemplaza el comisionamiento de la planta, los procedimientos del sitio, los manuales de los proveedores ni las obligaciones del ciclo de vida de seguridad funcional.

El álgebra booleana le da la forma lógica. La lógica ladder IEC 61131-3 le da la estructura ejecutable. El desafío de ingeniería es la traducción entre ellas, especialmente una vez que entran en juego el tiempo de escaneo, el comportamiento del dispositivo y los estados de fallo.

NAND y XOR son ejemplos útiles porque exponen esa traducción claramente:

• NAND expresa lógica de permisivas que cae solo cuando las condiciones coinciden.
• XOR expresa lógica de desacuerdo que identifica la falta de coincidencia de estado.

En ambos casos, el peldaño es solo el comienzo. El trabajo real es probar el comportamiento bajo condiciones normales y anormales. Ahí es donde un entorno de simulación demuestra su valor.

Lecturas relacionadas

- Vea El cambio hacia el pensamiento sistémico: más allá de dibujar peldaños.

• Para un contexto más amplio sobre estándares, visite nuestro Centro de Maestría en Lógica Ladder.
• Vea Por qué los contactos "Normalmente Cerrados" son los peldaños más importantes que escribirá.
• ¿Listo para probar esta lógica de discrepancia? Abra el preajuste de Control de Válvulas en OLLA Lab.

- IEC 61131-3: Programmable controllers — Part 3 - IEC 61508 functional safety standards family - exida functional safety and validation resources - NAMUR NE 107 status signaling recommendation - Digital twin in industry: state-of-the-art (DOI)