((x<->x3) \/ x2) /\ (-x2 \/ (x1<->x3))
Это выражение надо сократить испозуя законы Булевой логики.

1.дистрибутивность

((x<->x3) \/ x2 /\ -x2 ) \/ ((x<->x3) \/ x2 /\ (x1<->x3))

2.комплементарность
((x<->x3) \/ 0) \/ ((x<->x3) \/ x2 /\ (x1<->x3))

3.закон нейтрального элемента
(x<->x3) \/ ((x<->x3) \/ x2 /\ (x1<->x3))

4.коммунитативность
(x<->x3) \/ ( x2 \/ (x<->x3) /\ (x1<->x3))

5.иднемпотентность
(x<->x3) \/ ( x2 \/ (x<->x3))

6.коммунинативность
(x<->x3) \/ (x<->x3) \/ x2

7.индемпотентность
(x<->x3) \/ x2




где ошибка?

1.
(((x<->x3) \/ x2) /\ -x2 ) \/ (((x<->x3) \/ x2) /\ (x1<->x3))