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