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

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
m przywrócenie spisu treści zgodnie z WP:Dostępność#Spis treści
jęz.
Linia 1:
[[Plik:Bramka log XOR.svg|thumb|240px|Symbol [[bramka logiczna|bramki logicznej]] alternatywy rozłącznej]]
'''Alternatywa rozłączna''', '''alternatywa wykluczającawyłączająca''', '''alternatywa wyłączająca,wykluczająca''' – [[różnica symetryczna zbiorów|różnica symetryczna]], suma poprzeczna, suma [[arytmetyka modularna|modulo]] 2, kontrawalencja, ekskluzja, '''XOR''' – logiczny [[funktor zdaniotwórczy]] (dwuargumentowa [[funkcja boolowska]]). [[Alternatywa]] rozłączna zdań <math>p \underline\lor q</math> jest prawdziwa wtedy, gdy jedno i tylko jedno ze zdań <math>p, q</math> jest prawdziwe:
: <math>p \underline\lor q = (p \land \neg q) \lor (\neg p \land q),</math> co jest równoznaczne z