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

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) (Дополнение законов де Мо́ргана):

   • .