La disgiunzione logica
Esistono due tipi di disgiunzioni logiche
• La disgiunzione logica inclusiva (OR)
La disgiunzione logica inclusiva è un connettivo binario perché lega due proposizioni tra
loro. La proposizione composta dalla disgiunzione inclusiva è vera se è vera almeno una
delle proposizioni che la compongono. Il simbolo della disgiunzione logica inclusiva è ∨
Ecco la tavola di verità della disgiunzione logica inclusiva.
Esempio. La proposizione logica "se piove o grandina domani vado a scuola" è composta da due
proposizioni semplici legate tra loro dall'operatore "o" inclusivo (or). La proposizione composta è
vera se almeno una delle proposizioni semplici è vera. Non importa quale. Inoltre, l'una non esclude
l'altra. Per questo è detta disgiunzione "inclusiva". Se entrambe le proposizioni semplici sono vere
"piove e grandina" anche la proposizione composta è vera.
La disgiunzione logica esclusiva (XOR)
La disgiunzione logica esclusiva è un connettivo binario perché lega due proposizioni. Una
proposizione composta tramite la disgiunzione esclusiva è vera se è vera solo una delle proposizioni
che la compongono ma non entrambe. Se sono vere entrambe, la proposizione composta è falsa. Il
simbolo della disgiunzione logica (o XOR) è una v̇ con un punto sopra oppure un più cerchiato ⊕.
Questa è la tavola di verità della disgiunzione logica esclusiva
Esempio. La proposizione logica "domani resto a casa o vado a scuola" è composta da due
proposizioni logiche legate tra loro dall'operatore "o" esclusivo (xor). La proposizione composta è
vera solo se una delle due proposizioni semplici è vera. Se entrambe le proposizioni semplici sono
vere, la proposizione composta è falsa perché l'una esclude l'altra. Per questo è detta disgiunzione
"esclusiva". Se resto a casa non vado a scuola e viceversa.