logo
Predmet

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

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

    • .