La disgiunzione esclusiva (aut)

Accanto al “vel” latino (l’OR inclusivo, che ammette anche il caso di entrambe vere) esiste un secondo “o”: l‘“aut”, che esclude il caso in cui entrambe siano vere.

Esempio — "Aut" esclusivo (XOR)

La disgiunzione esclusiva, ”$p$ oppure $q$ ma non entrambi”, si denota $p\veebar q$ e ha la seguente tavola: $(V,V)\to F,\quad (V,F)\to V,\quad (F,V)\to V,\quad (F,F)\to F.$ È l‘“aut” del latino, contrapposto al “vel”. Lo ritroveremo, sotto forma di insieme, nella differenza simmetrica $A\triangle B$.

Collegamenti

Argomenti: Teoria degli insiemi
Concetti: Disgiunzione · Disgiunzione esclusiva