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