Alternatywa rozłączna: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Definicja matematyczna zmieniona na bardziej zrozumiałą |
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 \
: <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>.
|