← Все вопросы
Дизъюнкция ИЛИ в логике — это «или то, или то», а оба сразу можно?
7
В обычной речи «чай или кофе» значит что-то одно. А в информатике дизъюнкция A∨B — она тоже про «что-то одно», или оба варианта тоже подходят? Запутался, потому что в жизни и в логике «или» вроде разное.
1 ответ
13
✓ Принятый ответ — помог автору
Отличный вопрос, тут реально подвох. В логике обычное ИЛИ (∨, дизъюнкция) — это «хотя бы одно», и «оба сразу» тоже считается истиной.
Таблица:
| A | B | A∨B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
То есть ложь будет только когда оба ложны. Если хоть что-то истинно — всё выражение истинно.
А то «или» из жизни («чай ИЛИ кофе, но не оба») — это другая операция, она называется исключающее ИЛИ (XOR, ⊕). Вот у неё «оба сразу» даёт ложь.
Запомни: обычная дизъюнкция ∨ — «не жадная», ей хватает одной истины и она не против двух. Исключающее — «ревнивое», ему надо ровно одно.
Ваш ответ
Войдите, чтобы ответить на вопрос.