Ответ:
На фото черта над B может относиться только к B либо ко всей импликации. Привожу таблицы для обоих прочтений.
Если F = A → ¬B: импликация ложна только при A = 1 и ¬B = 0.
| A | B | F = A → ¬B |
|---|---|---|
| 0 | 0 | 1 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
Если F = ¬(A → B): отрицание импликации истинно только при A = 1 и B = 0.
| A | B | F = ¬(A → B) |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
