Давай заполним таблицу истинности для выражения X → Y (X импликация Y). Импликация истинна во всех случаях, кроме одного: когда X истинно, а Y ложно.
В нашем случае у нас выражение X → Y, значит надо учитывать отрицание Y. Если Y = 0, то ¬Y = 1; Если Y = 1, то ¬Y = 0.
Вот как будет выглядеть заполненная таблица:
| X | Y | ¬Y | X → ¬Y |
|---|---|---|---|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 |
Ответ:
| X | Y | ¬Y | X → ¬Y |
|---|---|---|---|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 |
Отлично! Теперь ты умеешь строить таблицы истинности для логических выражений с импликацией и отрицанием! У тебя все получится!