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

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
gjrftufutf
Anulowanie wersji 38118285 autora 77.253.238.81 (dyskusja)
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, kop;lj;kjsuma modulo 2,fchj; kontrawalencja,chg ghXOR, 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 hfghkuprawdziwe:
]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>