Для логической операции импликации (X → Y) таблица истинности выглядит следующим образом:
| X | Y | X → Y |
|---|---|-------|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Объяснение:
Импликация истинна всегда, когда X ложно, или когда Y истинно. Она ложна только тогда, когда X истинно, а Y ложно.