Alternatywa rozłączna
Z Wikipedii, wolnej encyclopedia
Alternatywa rozłączna, alternatywa wyłączająca, ekskluzja[1], alternatywa wykluczająca, różnica symetryczna, suma poprzeczna, suma modulo 2, kontrawalencja, XOR – logiczny funktor zdaniotwórczy (dwuargumentowa funkcja boolowska). W logice matematycznej zapisywana najczęściej jako , lub . Alternatywa rozłączna zdań jest prawdziwa wtedy, gdy jedno i tylko jedno ze zdań jest prawdziwe:
- co jest równoznaczne z
Odpowiada wyrażeniu „albo..., albo...”. Innym oznaczeniem jest
gdzie: 1 – zdanie prawdziwe; 0 – zdanie fałszywe
Przy użyciu funkcji XOR dla więcej niż dwóch argumentów wynik jest prawdziwy, gdy nieparzysta liczba argumentów jest prawdą.