((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




где ошибка?

После первого действия надо скобки расставить на мой взгляд.

Скобки для меня неважны. Я имею в виду результат

Скобки важны, потому что от них зависит результат.
Получается, что закон дистрибутивности:
(a + b ) * c = a + b * c

Хорошо. но у меня то скобки все расставоленны.
Каких ,например, скобок не хватает во втором действии?

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

ага. всё. ясно.
спасибо огромное.
это и на самомо деле сильно может повлиять на результат.
у меня всё сошлось.