Выражение ¬A → B можно прочитать как "если не A, то B". Таблица истинности для импликации (→) и отрицания (¬) следующая:
1. Отрицание ¬A:
* Если A = 0, то ¬A = 1
* Если A = 1, то ¬A = 0
2. Импликация ¬A → B:
* Если ¬A = 0 и B = 0, то ¬A → B = 1
* Если ¬A = 0 и B = 1, то ¬A → B = 1
* Если ¬A = 1 и B = 0, то ¬A → B = 0
* Если ¬A = 1 и B = 1, то ¬A → B = 1
Теперь заполним таблицу:
| A | B | ¬A | ¬A → B |
| --- | --- | --- | ------ |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 1 |
Таким образом, таблица истинности выглядит так:
| A | B | ¬A → B |
| --- | --- | ------ |
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Убрать каракули