akvarel
Сообщение
#68349 9.1.2011, 19:18
((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
где ошибка?
Тролль
Сообщение
#68350 9.1.2011, 19:31
После первого действия надо скобки расставить на мой взгляд.
akvarel
Сообщение
#68351 9.1.2011, 19:40
Скобки для меня неважны. Я имею в виду результат
Тролль
Сообщение
#68354 9.1.2011, 19:46
Скобки важны, потому что от них зависит результат.
Получается, что закон дистрибутивности:
(a + b ) * c = a + b * c
akvarel
Сообщение
#68355 9.1.2011, 19:49
Хорошо. но у меня то скобки все расставоленны.
Каких ,например, скобок не хватает во втором действии?
Тролль
Сообщение
#68356 9.1.2011, 19:59
1.
(((x<->x3) \/ x2) /\ -x2 ) \/ (((x<->x3) \/ x2) /\ (x1<->x3))
akvarel
Сообщение
#68357 9.1.2011, 20:11
ага. всё. ясно.
спасибо огромное.
это и на самомо деле сильно может повлиять на результат.
у меня всё сошлось.
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста,
нажмите сюда.