Вопрос. Свойства логических операций

1. Коммутативность: x y = y x, {&, }.

2. Идемпотентность: x x = x, {&, }.

3. Ассоциативность: (x y) z = x (y z), {&, }.

4. Дистрибутивность конъюнкций и дизъюнкции относительно дизъюнкции, конъюнкции и суммы по модулю два соответственно:

§ ,

§ ,

§ .

5. Законы де Мо́ргана:

§ ,

§ .

6. Законы поглощения:

§ ,

§ .

7. Другие (1):

§ .

§ .

§ .

§ .

§ , инволютивность отрицания, закон снятия двойного отрицания.

8. Другие (2):

§ .

§ .

§ .

§ .

9. Другие (3) (Дополнение законов де Мо́ргана):

§ .

§ .