Alternatywa rozłączna: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
→Zobacz też: odlinkowanie Skarbnicy Wikipedii i przekierowań do niej |
{{Logika matematyczna}}, łącznik definicyjny, -zobacz też, ujednolicenie |
||
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)
: <math>p \underline\or q = (p \and \neg q) \or (\neg p \and q)</math>
Linia 6:
Odpowiada wyrażeniu „albo ... albo ...”. Innym oznaczeniem jest <math>p \dot\or q</math>.
{| class="wikitable" style="text-align:center;"
|+[[Tablica prawdy]] dla alternatywy wykluczającej:
!
▲! width=30 | <math>q</math>
▲! width=60 | <math>p \underline\or q</math>
|-
|0||0||0
|-
|0||1||1
|-
|1||0||1
|-
|1||1||0
|}
gdzie:
: 1 – zdanie prawdziwe
: 0 – 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ą.
Linia 67 ⟶ 60:
== Zobacz też ==
{{wikisłownik|XOR}}
* [[różnica symetryczna]]
* [[algebra Boole'a]]
{{Logika matematyczna}}
[[Kategoria:Funkcje boolowskie]]
|