Заполнить таблицу истинности для первого уравнения системы
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