Булева Алгебра

[kikat]

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




где ошибка?


Спасибо

[NiCola999]

а где то, в чём ошибка ?)

[kikat]

м... это правильно??

я делала так же таблицу и у меня по ней не совпало

[Sabin4ik]

<-> это импиликация?

[kikat]

Сообщение от Sabin4ik

<-> это импиликация?

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

[Sabin4ik]

kikat,тогда подскажите чему она равна...вроде ( не А или B) так?

[kikat]

1 будет тогда, когда А и Б одинаковые.

[NiCola999]

вобщето <-> обозначается эквивалентность

[kikat]

ой. да.извините
-> - это импликация

[Sabin4ik]

чего т мне не вспомнить все законы...вот например откуда взялась в

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

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

третья скобка - ((x<->x3)