Alternatywa rozłączna: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
Anulowanie wersji nr 36077029 autora 83.11.214.161 źródło musi być opublikowane więc zajęcia się nie kwalifikują |
gjrftufutf |
||
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,
]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>
|