Questo Articolo è estratto dal Grande Manuale di logica
XOR [OR esclusivo] 
(esclusivo – osolo…, o solo…)
Il connettivo logico XOR (eXclusive OR), chiamato anche “disgiunzione esclusiva”, viene riconosciuto dalla tipica espressione “o solo.. o solo..” e può essere scritto con il simbolo 
.
XOR lega due proposizioni a e b in modo che una sola delle due sia vera; se sono vere entrambe l’affermazione risulta falsa.
Nella formulazione verbale estesa viene scritto come “o solo… o solo…”: “io o solo canto o solo ballo”. Sinteticamente a b.
Come abbiamo già visto per il connettivo logico vel, per descrivere quando la proposizione complessa 
è vera o falsa si utilizza la tavola di verità.
Tavola di verità XOR –  |
|||
| a | b |  |
|
| V | V | F |  risulta falso perché non viene rispettata la condizione che sia vero uno ed uno soltanto tra a e b (sono entrambi veri) |
| V | F | V | risulta vero perché viene rispettata la condizione che sia vero uno ed uno solo tra a e b (in questo caso a) |
| F | V | V | risulta vero perché viene rispettata la condizione che sia vero uno ed uno solo tra a e b (in questo caso b) |
| F | F | F | risulta falso perché non viene rispettata la condizione che sia vero uno ed uno soltanto tra a e b (sono entrambi falsi) |
Nella tabella di verità a b risulta vero quando uno ed uno solo tra a e b è vero. Se entrambi sono falsi oppure se entrambi sono veri allora a b sarà falso.
Il connettivo logico XOR è detto esclusivo in quanto la verità di una proposizione esclude la possibilità che sia vera l’altra.
| PAGINA PRECEDENTE | PROSSIMA PAGINA |
| AND [ET] a ˄ b | OR [VEL] a ˅ b |
| NOT ¬ | XOR |
| IMPLICAZIONE ⇒ | DERIVAZIONE → |
| DOPPIA IMPLICAZIONE ⇔ | Logica Proposizionale |
| Negazioni di Connettivi Logici |
Negazioni di Quantificatori |
| Negazioni Multiple |
© il testo è di esclusiva proprietà dell’autore ed è sottoposto a COPYRIGHT – non è consentito alcun utilizzo diverso dallo studio gratuito degli utenti del sito
