Исключающее «или»: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки Метка: визуальный редактор отключён |
|||
Строка 118:
Эту операцию нередко сравнивают с [[Дизъюнкция|дизъюнкцией]] потому, что они очень похожи по свойствам, и обе имеют сходство с союзом «или» в повседневной речи. Сравните правила для этих операций:
# <math>A \lor B</math> истинно, если истинно <math>A</math> ''или'' <math>B</math>, ''или'' оба сразу ("''хотя бы'' один из двух").
# <math>A \oplus B</math> истинно, если истинно <math>A</math> ''или'' <math>B</math>, но ''не'' оба сразу ("''только'' один из двух").
Операция <math>\oplus</math> ''исключает'' последний вариант («оба сразу») и по этой причине называется исключающим «ИЛИ».
Операция <math>\lor</math> ''включает'' последний вариант («оба сразу») и по этой причине иногда называется включающим «ИЛИ».
| |||