logo search
АВС_Лек4_2013 / ИнтернентСсылкиАссемблерЛогика

Свойства логических операций[править | править исходный текст]

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

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

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

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

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

    • ,

    • .

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

    • ,

    • .

  • Другие (1):

    • .

    • .

    • .

    • .

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

  • Другие (2):

    • .

    • .

    • .

    • .

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

    • .

    • .

    Существуют методы упрощения логической функции: например, Карта Карно,метод Куайна - Мак-Класки