((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))
ага. всё. ясно.
спасибо огромное.
это и на самомо деле сильно может повлиять на результат.
у меня всё сошлось.
Русская версия Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)