Таблица истинности для выражения ¬A = B, что эквивалентно (¬A -> B) ∧ (B -> ¬A):
| A | B | ¬A | ¬A = B |
|---|---|----|--------|
| 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 0 | 0 |
Решение:
Если А = 0, то ¬A = 1. Чтобы ¬A = B было истинным, B должно быть 1.
Если А = 1, то ¬A = 0. Чтобы ¬A = B было истинным, B должно быть 0.
Ответ:
| A | B | ¬A = B |
|---|---|--------|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |