Основные равносильности алгебры логики

1. x x x

x

0

7.

x

закон противоречия

2.

x x x

x

1

8.

x

закон исключенного третьего

3.

x 1

x

9.

x закон снятия двойного отрицания

x

4.

x

1

1

10.а) x ( y

x) x

5.

x

0 0

законы поглощения

6. x 0 x

в) x ( y x) x

Равносильности

выражающие основные

законы алгебры логики

1.

x

y y x

законы коммутативности

2.

x

y y x

3.

x ( y z) (x y) z

закон ассоциативности конъюнкции

4.

закон ассоциативности дизъюнкции

5.

x ( y z) (x y) z

6.

x ( y z) (x y) (x z)