La disgiunzione esclusiva (informaticamente XOR) è un’applicazione su due proposizioni, definita secondo la seguente tabella di verità. L’operazione si indica con il simbolo (aut).
p | q | pautq |
v | v | f |
v | f | v |
f | v | v |
f | f | f |
La tavola di verità si esprime dicendo che la disgiunzione esclusiva è vera solo se solo una delle due proposizioni è vera. Indica il caso in cui si indicano due possibilità e ci si aspetta che solo una delle due possa essere soddisfatta. Per esempio: “vado a scuola oppure me ne sto a casa”. Se sono vere entrambe, la proposizione risultante è manifestamente falsa, vista l’impossibilità di essere contemporaneamente in due posti diversi.
Manuale di cultura generale – Matematica – Logica – Disgiunzione esclusiva (XOR) – Continua