Задание
Заполнить таблицу истинности для первого уравнения системы
| x1 | x2 | x3 | x1 ≡ ¬ x2 | x1 /\ ¬x3 | ¬x1 /\ x3 | \(x1 ≡ ¬ x2\) \/ \(x1 /\\ ¬x3\) \/ \(¬x1 /\\ x3\) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | ||||
| 0 | 0 | 1 | ||||
| 0 | 1 | 0 | ||||
| 0 | 1 | 1 | ||||
| 1 | 0 | 0 | ||||
| 1 | 0 | 1 | ||||
| 1 | 1 | 0 | ||||
| 1 | 1 | 1 |