Come costruire porte logiche XOR e NAND in un PLC con OLLA Lab

Per tradurre l'algebra booleana nella logica ladder IEC 61131-3, gli ingegneri mappano gli stati logici astratti al comportamento dei contatti basato sulla scansione e alle bobine di uscita. In OLLA Lab, le porte XOR e NAND non vengono solo disegnate come simboli; esse vengono validate rispetto a I/O simulati, stati di guasto e logica di risposta della macchina prima di qualsiasi implementazione reale.

L'algebra booleana e la logica ladder sono correlate, ma non intercambiabili. Le espressioni booleane sono astratte ed effettivamente atemporali sulla carta; la logica ladder viene eseguita da un PLC in un ciclo di scansione, con ingressi reali, stati memorizzati e aggiornamenti delle uscite. È in questa differenza che nascono molti errori dei principianti.

Un benchmark interno di Ampergon Vallis evidenzia il punto in modo preciso: il 68% degli utenti ha fallito la prima implementazione di un allarme di discrepanza durante la creazione del comportamento XOR in OLLA Lab [Metodologia: n=500 sequenze logiche per principianti, compito definito come costruzione e test di un allarme di discrepanza a due ingressi nell'ambiente di simulazione, comparatore di riferimento = successo/fallimento al primo tentativo rispetto alla tabella della verità attesa e al comportamento simulato, finestra temporale = gen-feb 2026]. Ciò supporta un'unica affermazione limitata: tradurre l'intento booleano in una corretta struttura ladder è più difficile che riconoscere la tabella della verità. Non supporta alcuna affermazione più ampia sulla competenza degli ingegneri nel settore.

L'algebra booleana descrive relazioni logiche. Il diagramma ladder (LD) IEC 61131-3 descrive come tali relazioni vengono implementate in un sistema di controllo basato sulla scansione.

La distinzione pratica è la seguente:

- La logica PLC viene eseguita ciclicamente: lettura ingressi -> esecuzione logica -> scrittura uscite.

• L'algebra booleana tratta variabili come A e B come stati logici astratti.
• La logica ladder mappa quegli stati su tag, bit di memoria e I/O fisici o simulati.
• Le espressioni booleane sono lette come relazioni statiche.

Il comportamento del ciclo di scansione è importante perché un rung (piolo) non è semplicemente un'equazione simbolica. Viene valutato in sequenza utilizzando l'immagine corrente del processo da parte del controllore.

### Matrice di traduzione di base: dal booleano alla logica ladder

Le prime mappature standard sono semplici:

• AND -> contatti in serie
• OR -> contatti in parallelo
• NOT -> rappresentazione con contatto normalmente chiuso
• Condizione di uscita TRUE -> bobina eccitata o bit interno
• Condizione di uscita FALSE -> bobina diseccitata o bit azzerato

Queste mappature sono fondamentali, ma non esauriscono l'argomento. Il compito ingegneristico non è solo rappresentare la logica. È rappresentare la logica in una forma che rimanga osservabile, testabile e sicura in condizioni di processo realistiche.

Perché il livello fisico cambia il significato

Una variabile booleana non è un filo. In un PLC, un tag può rappresentare:

• un ingresso di campo a 24 VDC,
• un bit di memoria interno,
• uno stato derivato,
• un permissivo,
• una condizione di scatto (trip),
• o uno stato simulato dell'apparecchiatura.

Ecco perché "corretto" deve essere definito operativamente. In questo articolo, corretto significa che il rung produce l'uscita attesa per tutte le combinazioni di ingressi rilevanti e si comporta in modo coerente quando testato rispetto a stati di processo simulati e casi di guasto.

Dove conta la norma IEC 61131-3

La norma IEC 61131-3 standardizza i linguaggi di programmazione, inclusi il diagramma ladder, il diagramma a blocchi funzionali e il testo strutturato per i controllori programmabili (IEC, 2013). Non elimina le differenze di implementazione tra i vari fornitori, ma fornisce un modello di esecuzione e un framework linguistico comuni.

Questo è importante perché la logica booleana è universale, mentre l'implementazione ladder è sempre legata a un modello di controllore, al comportamento di scansione e al contesto dell'impianto.

Una porta NAND diventa falsa solo quando entrambi gli ingressi sono veri. Nel controllo industriale, ciò la rende utile per schemi di permissivi e inibizioni in cui un'uscita rimane disponibile a meno che non sia soddisfatta simultaneamente una specifica combinazione di condizioni.

La forma booleana è:

• C = NOT (A AND B)

L'interpretazione ladder equivalente è:

• L'uscita C è attiva quando A è falso, o B è falso, o entrambi sono falsi.
• L'uscita C si disattiva solo quando A e B sono entrambi veri.

Perché la NAND appare nella logica industriale

Nell'elettronica, la NAND viene spesso introdotta come porta universale. Nell'automazione industriale, l'inquadramento più utile è più ristretto: è un modo pratico per esprimere "consenti a meno che queste condizioni non coincidano".

Esempi tipici includono:

• logica di caduta dei permissivi,
• condizioni di inibizione combinate,
• schemi di aggregazione dei guasti,
• condizioni di attesa sequenza,
• soppressione di stati anomali.

Questo deve essere delimitato con attenzione. Un'implementazione ladder di una NAND non sostituisce la progettazione formale della sicurezza funzionale secondo la norma IEC 61508 o la validazione della sicurezza delle macchine. È uno schema di logica di controllo, non un caso di sicurezza automatico.

Implementazione ladder di una porta NAND

Una forma ladder comune a due rami è:

[Linguaggio: Diagramma Ladder] // Porta NAND: L'uscita è ON a meno che sia l'Ingresso A che l'Ingresso B siano ON.

|----[/]----------------------------------------( )----| | Ingresso A Uscita C| | | |----[/]------------------------------------------------| | Ingresso B |

Questo rung utilizza contatti normalmente chiusi in parallelo:

• Se Ingresso A = 0, il ramo superiore è vero.
• Se Ingresso B = 0, il ramo inferiore è vero.
• Se uno dei due rami è vero, l'Uscita C si eccita.
• Solo quando A = 1 e B = 1 entrambi i contatti NC risultano falsi, facendo cadere l'uscita.

Tabella della verità per NAND in termini ladder

| Ingresso A | Ingresso B | Uscita C | |-----------|-----------|----------| | 0 | 0 | 1 | | 0 | 1 | 1 | | 1 | 0 | 1 | | 1 | 1 | 0 |

Come costruire la porta NAND in OLLA Lab

Utilizza l'editor ladder basato su web per costruire un test di permissivo compatto a due ingressi:

Il passaggio importante non è disegnare il rung. È dimostrare il comportamento:

• entrambi gli ingressi falsi -> uscita attiva,
• un ingresso vero -> uscita attiva,
• entrambi gli ingressi veri -> uscita disattivata.

1. Crea i tag per Ingresso_A, Ingresso_B e Uscita_C.
2. Inserisci due contatti normalmente chiusi su rami paralleli separati.
3. Assegna un ramo all'Ingresso_A e l'altro all'Ingresso_B.
4. Posiziona l'Uscita_C come bobina pilotata.
5. Avvia la simulazione.
6. Attiva/disattiva gli ingressi nel pannello delle variabili e verifica la tabella della verità.

Un esempio di permissivo realistico

Considera un permissivo semplificato in cui un'inibizione di manutenzione dovrebbe rimanere disponibile a meno che entrambi i seguenti punti siano veri:

• A = Modalità remota selezionata
• B = Sequenza di avvio automatico attiva

Un rung in stile NAND può mantenere un'uscita vera finché entrambe le condizioni non sono presenti simultaneamente. In pratica, questo schema è spesso incorporato in reti di permissivi più ampie, non visualizzato come una porta da manuale.

Una porta XOR diventa vera solo quando esattamente un ingresso è vero. Nell'automazione industriale, ciò la rende utile per il rilevamento di discrepanze, la verifica a doppio stato e l'identificazione dei guasti in cui due segnali non dovrebbero essere in disaccordo in determinati modi.

La forma booleana è:

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

In termini ladder, la XOR viene solitamente costruita come due rami paralleli con contatti NO e NC accoppiati incrociati.

Perché la XOR è importante nella diagnostica di macchine e processi

La XOR diventa preziosa quando due segnali rappresentano stati dell'apparecchiatura mutuamente esclusivi.

Un esempio classico è una valvola con:

• Finecorsa di apertura
• Finecorsa di chiusura

In condizioni normali, quelle due indicazioni non dovrebbero essere entrambe vere contemporaneamente per una semplice valvola a due posizioni. A seconda del tempo e dello stato di corsa, non dovrebbero nemmeno rimanere entrambe false indefinitamente. L'esatta filosofia di allarme dipende dal dispositivo e dalla progettazione della sequenza, ma la logica di discrepanza è spesso costruita attorno alla XOR o al suo complemento.

Implementazione ladder di una porta XOR

[Linguaggio: Diagramma Ladder] // Porta XOR: L'uscita è ON se A o B è ON, ma non entrambi.

|----[ ]--------[/]----------------------------( )----| | Ingresso A Ingresso B Allarme C| | | |----[/]--------[ ]------------------------------------| | Ingresso A Ingresso B |

Questo rung funziona come segue:

• Il ramo superiore è vero quando A = 1 e B = 0
• Il ramo inferiore è vero quando A = 0 e B = 1
• Se uno dei due rami è vero, l'Allarme C si eccita
• Se entrambi gli ingressi sono uguali, l'allarme rimane spento

Tabella della verità per XOR in termini ladder

| Ingresso A | Ingresso B | Allarme C | |-----------|-----------|-----------| | 0 | 0 | 0 | | 0 | 1 | 1 | | 1 | 0 | 1 | | 1 | 1 | 0 |

Come la XOR supporta gli allarmi di discrepanza

Per un allarme di discrepanza, la XOR è utile quando la condizione di allarme è definita come "i due segnali di stato sono in disaccordo".

Gli esempi includono:

• disaccordo nell'indicazione aperto/chiuso,
• mancata corrispondenza di sensori ridondanti,
• mancata corrispondenza tra stato comandato e feedback,
• disaccordo del selettore,
• bit di stato accoppiati che dovrebbero essere mutuamente esclusivi.

Anche questo deve essere progettato con il giusto contesto. Una valvola in transito può legittimamente produrre un disaccordo temporaneo o una perdita temporanea di entrambe le conferme di stato finale. Una buona logica di allarme solitamente aggiunge temporizzazione, stato della sequenza o contesto di movimento. La XOR grezza è un nucleo utile, non la filosofia finita.

Come costruire la porta XOR in OLLA Lab

Utilizza OLLA Lab per costruire e testare il rung di discrepanza direttamente nel browser:

La sequenza di test dovrebbe confermare:

• 00 -> allarme spento
• 01 -> allarme attivo
• 10 -> allarme attivo
• 11 -> allarme spento

Se il rung fa qualcos'altro, il problema è solitamente uno di questi tre:

• tipo di contatto invertito,
• struttura del ramo errata,
• significato del tag definito in modo impreciso.

1. Crea i tag per Ingresso_A, Ingresso_B e Allarme_C.
2. Aggiungi due rami paralleli.
3. Sul primo ramo, posiziona NO Ingresso_A in serie con NC Ingresso_B.
4. Sul secondo ramo, posiziona NC Ingresso_A in serie con NO Ingresso_B.
5. Pilota l'Allarme_C con l'uscita del ramo.
6. Esegui la simulazione e attiva/disattiva i due ingressi attraverso tutti e quattro gli stati.

Il ciclo di scansione del PLC rende la logica ladder temporale, non meramente logica. Gli ingressi vengono letti, la logica viene risolta e le uscite vengono scritte in sequenza, il che significa che il comportamento dipende da quando vengono osservati i cambiamenti di stato.

Per esempi di base a due ingressi, il ciclo di scansione può sembrare invisibile. Per le apparecchiature reali, non lo è.

La sequenza di scansione standard

La maggior parte dell'esecuzione PLC segue questo schema generale:

1. Lettura ingressi
2. Esecuzione logica del programma
3. Aggiornamento uscite
4. Esecuzione comunicazioni, diagnostica, housekeeping

I dettagli esatti variano in base alla piattaforma, al modello di attività e al fornitore, ma il principio è stabile.

Perché questo è importante per la logica di discrepanza

Un allarme di discrepanza XOR può comportarsi in modo diverso a seconda di:

• temporizzazione dell'aggiornamento degli ingressi,
• trattamento del debounce,
• stato della sequenza,
• logica one-shot,
• uso di timer,
• movimento asincrono del dispositivo.

Ad esempio:

• una valvola può lasciare entrambi i finecorsa falsi durante il transito,
• un interruttore può vibrare (chatter),
• un feedback può essere in ritardo rispetto all'altro di diverse scansioni,
• un ingresso simulato o forzato può cambiare in modo netto mentre un dispositivo reale non lo fa.

Ecco perché la validazione consapevole della scansione è importante. L'algebra booleana presuppone relazioni di stato idealizzate. Le apparecchiature introducono spesso ritardi, rimbalzi e ambiguità.

Perché questo è importante per i permissivi

Un permissivo in stile NAND può far cadere un'uscita solo quando entrambe le condizioni diventano vere nello stesso stato valutato. Se una condizione è bloccata (latch), ritardata o derivata attraverso un altro rung, il comportamento osservato potrebbe differire dalla semplice tabella della verità a meno che non venga compresa la logica circostante.

OLLA Lab simula il comportamento delle porte logiche consentendo agli utenti di costruire rung ladder, eseguirli in un ambiente controllato, attivare ingressi, ispezionare gli stati delle variabili e confrontare i risultati ladder con il comportamento simulato dell'apparecchiatura.

Ciò lo rende un ambiente di validazione delimitato per attività di apprendimento ad alto rischio, non un sostituto per i test di accettazione in sito o la validazione formale della sicurezza.

Cosa significa "pronto per la simulazione" (Simulation-Ready) qui

In questo articolo, Simulation-Ready significa che un ingegnere può:

• dimostrare il comportamento logico atteso rispetto a stati di test definiti,
• osservare la causalità I/O nella simulazione,
• diagnosticare un comportamento errato del rung,
• iniettare condizioni anomale,
• rivedere la logica,
• e verificare il comportamento rivisto prima di toccare l'apparecchiatura reale.

Come testare un caso di guasto NAND in OLLA Lab

Utilizza il pannello delle variabili per procedere attraverso le combinazioni di ingressi:

• Imposta Ingresso_A = 0, Ingresso_B = 0 -> conferma Uscita_C = 1
• Imposta Ingresso_A = 1, Ingresso_B = 0 -> conferma Uscita_C = 1
• Imposta Ingresso_A = 0, Ingresso_B = 1 -> conferma Uscita_C = 1
• Imposta Ingresso_A = 1, Ingresso_B = 1 -> conferma Uscita_C = 0

Quindi inietta uno scenario di guasto:

• ridefinisci concettualmente un ingresso come una sorgente di permissivo bloccata alta (stuck-high),
• osserva se l'uscita può ancora essere spiegata dalla struttura del rung,
• rivedi la logica o la definizione del tag se il comportamento non corrisponde più alla filosofia di controllo prevista.

Come testare un guasto di discrepanza XOR in OLLA Lab

Per un modello di allarme di discrepanza:

- Quindi simula un caso di guasto come:

• Attiva/disattiva Ingresso_A e Ingresso_B attraverso tutti e quattro gli stati della tabella della verità.
• Conferma che gli stati di disaccordo eccitano l'Allarme_C.
• un finecorsa bloccato su ON,
• entrambi gli interruttori forzati su vero,
• entrambi gli interruttori falsi più a lungo del previsto,
• stato di comando incoerente con lo stato di feedback.

Il pannello delle variabili è utile qui perché espone direttamente lo stato.

Perché questo è importante oltre l'apprendimento della sintassi

La simulazione colma il divario tra la costruzione del rung e la prova comportamentale. La ricerca sui gemelli digitali, sulla formazione basata sulla simulazione e sulla validazione cyber-fisica sottolinea il valore dei test virtuali per ridurre il rischio, migliorare la comprensione del comportamento del sistema e supportare una scoperta più precoce dei guasti nei flussi di lavoro di automazione (Tao et al., 2019; Fuller et al., 2020; Villalonga et al., 2021).

Ciò non significa che un simulatore certifichi un progetto. Significa che un simulatore offre agli ingegneri un luogo più sicuro per trovare errori evidenti prima che lo faccia l'impianto.

Un buon flusso di lavoro definisce la correttezza prima dell'inizio dei test. Se "corretto" viene lasciato vago, la simulazione diventa una finzione.

Utilizza questa struttura di prova compatta quando documenti la costruzione o la revisione di una porta logica:

Definisci l'apparecchiatura o la funzione di controllo. Esempio: "Valvola a due posizioni con feedback di apertura e chiusura utilizzato per l'allarme di discrepanza."

Dichiara il comportamento atteso in termini osservabili. Esempio: "L'allarme si eccita quando esattamente un feedback è vero; l'allarme rimane spento quando entrambi sono uguali, fatte salve eventuali eccezioni di temporizzazione documentate separatamente."

Definisci la condizione anomala. Esempio: "Finecorsa di chiusura bloccato alto durante la transizione di apertura comandata."

Mostra cosa è cambiato. Esempio: "Aggiunto timer di transizione e qualificatore di stato di comando per sopprimere l'allarme molesto durante il normale transito."

Dichiara cosa ha rivelato il test. Esempio: "La XOR grezza ha rilevato correttamente il disaccordo ma ha generato troppi allarmi durante le transizioni di stato legittime."

1. Descrizione del sistema
2. Definizione operativa di "corretto"
3. Logica ladder e stato simulato dell'apparecchiatura Includi il rung effettivo e i corrispondenti stati dei tag simulati o stati dell'apparecchiatura.
4. Il caso di guasto iniettato
5. La revisione effettuata
6. Lezioni apprese

L'errore più comune è presumere che la tabella della verità sia il progetto. Non lo è. La tabella della verità è solo il vincolo di partenza.

Errori di implementazione frequenti

• Inversione dei contatti NO e NC
• Confusione tra significato del segnale e stato del segnale
• Ignorare gli effetti del ciclo di scansione
• Testare solo il caso atteso
• Trattare la logica di permissivo come equivalente alla logica di sicurezza
• Mancata definizione del modello di stato del processo

Una correzione pratica

Quando costruisci qualsiasi rung basato su porte, definisci tre cose prima di simulare:

• cosa rappresenta fisicamente o logicamente ogni tag,
• quale comportamento dell'uscita è considerato corretto,
• quali stati anomali devono essere tollerati rispetto a quelli che devono generare allarme.

Questa disciplina elimina una sorprendente quantità di confusione. Molti "bug logici" sono in realtà bug di specifica.

Usa OLLA Lab quando il compito ingegneristico richiede la prova del comportamento logico, la causalità I/O, l'iniezione di guasti o la validazione della sequenza senza esporre l'apparecchiatura reale a rischi inutili.

Ciò include:

• pratica ladder da principiante a intermedio,
• prove di allarme di discrepanza,
• test della logica di permissivo,
• lavoro su scenari di controllo valvole e motori,
• revisione dell'interazione analogico/discreto,
• esercizi di laboratorio guidati dall'istruttore,
• walkthrough logici di pre-commissioning in un ambiente delimitato.

In base alla documentazione del prodotto, OLLA Lab supporta questo attraverso:

• un editor di logica ladder basato su browser,
• modalità di simulazione,
• visibilità di variabili e I/O,
• preset industriali basati su scenari,
• flussi di lavoro di validazione orientati al gemello digitale,
• accesso alla simulazione 3D/WebXR/VR ove abilitato,
• istruzioni di costruzione guidate,
• coaching di laboratorio tramite IA con GeniAI.

L'affermazione delimitata è semplice: OLLA Lab offre agli ingegneri un ambiente pratico per costruire e testare la logica ladder rispetto al comportamento simulato. Non sostituisce il commissioning dell'impianto, le procedure di sito, i manuali dei fornitori o gli obblighi del ciclo di vita della sicurezza funzionale.

L'algebra booleana ti fornisce la forma logica. La logica ladder IEC 61131-3 ti fornisce la struttura eseguibile. La sfida ingegneristica è la traduzione tra le due, specialmente quando entrano in gioco la temporizzazione della scansione, il comportamento del dispositivo e gli stati di guasto.

NAND e XOR sono esempi utili perché espongono quella traduzione in modo chiaro:

• NAND esprime una logica di permissivo che cade solo quando le condizioni coincidono.
• XOR esprime una logica di disaccordo che identifica la mancata corrispondenza dello stato.

In entrambi i casi, il rung è solo l'inizio. Il vero lavoro è dimostrare il comportamento in condizioni normali e anomale. È qui che un ambiente di simulazione ripaga l'investimento.

Letture correlate

- Vedi Il passaggio al pensiero sistemico: andare oltre il semplice disegno dei rung.

• Per un contesto normativo più ampio, visita il nostro Ladder Logic Mastery Hub.
• Vedi Perché i contatti "Normalmente Chiusi" sono i rung più importanti che scriverai.
• Pronto a testare questa logica di discrepanza? Apri il preset di controllo valvola in 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)