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

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Definicja matematyczna zmieniona na bardziej zrozumiałą
Wipur (dyskusja | edycje)
m drobne merytoryczne
Linia 2:
'''Alternatywa rozłączna''', '''alternatywa wykluczająca''', alternatywa wyłączają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\or q </math> jest prawdziwa wtedy, gdy jedno i tylko jedno ze zdań <math>p, q</math> jest prawdziwe:
 
: <math>p \underline\or q = (p \orand \neg q) \andor (\neg( p \and q)</math>, co jest równoznaczne z
 
: <math>p \underline\or q = (p \or q) \and \neg(p \and q)</math>.
 
Odpowiada wyrażeniu „albo..., albo...”. Innym oznaczeniem jest <math>p \dot\or q</math>.