Alternatywa rozłączna: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
Anulowanie wersji 38118285 autora 77.253.238.81 (dyskusja) |
albo |
||
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 modulo 2, kontrawalencja, XOR, exclusive or, EOR, [[wikt:albo|albo]]) – [[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>
|