Alternatywa rozłączna: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
m int.
Linia 1:
[[Plik:Bramka log XOR.svg|right|240px|Symbol [[bramka logiczna|bramki logicznej]] alternatywy wykluczającej]]
'''Alternatywa wykluczająca''' (inne używane nazwy: alternatywa rozłączna, różnica symetryczna, suma poprzeczna, suma [[arytmetyka modularna|modulo]] 2, kontrawalencja, XOR, Exclusive OR, EOR) – [[logika|logiczny]] [[funktor zdaniotwórczy]] (dwuargumentowa [[funkcja boolowska]]) . Różnica symetryczna zdań <math>p \underline\or q </math> jest prawdziwa wtedy i tylko wtedy, gdy dokładnie jedno ze zdań <math>p, q</math> jest prawdziwe:
 
: <math>p \underline\or q = (p \and \neg q) \or (\neg p \and q)</math>