В чем заключается метод логического упрощения сложных булевых выражений?

Метод логического упрощения сложных булевых выражений заключается в использовании законов алгебры логики. 15

Некоторые из таких законов:

• Закон двойного отрицания. 15 Означает, что операция «НЕ» обратима: если применить её два раза, логическое значение не изменится. 1
• Закон исключённого третьего. 1 Основан на том, что в классической (двузначной) логике любое логическое выражение либо истинно, либо ложно («третьего не дано»). 1
• Законы де Моргана. 15 При их использовании не просто «общее» отрицание переходит на отдельные выражения, но и операция «И» заменяется на «ИЛИ» (и наоборот). 1
• Переместительные (коммутативные) законы. 2 Позволяют менять местами логические переменные при операциях конъюнкции и дизъюнкции. 2
• Сочетательные (ассоциативные) законы. 2 Если в логическом выражении используется только операция конъюнкции или дизъюнкции, то можно пренебрегать скобками или произвольно их расставлять. 2
• Распределительные (дистрибутивные) законы. 2 Определяют правило выноса общего высказывания за скобку. 3
• Законы исключения констант. 2 Например, для логического сложения А Ú 1 = 1, А Ú 0 = A. 3
• Закон поглощения. 23 Для логического сложения А Ú (A & B) = A, для логического умножения A & (A Ú B) = A. 3

Упрощение логических выражений позволяет получить максимально простую и дешёвую логическую схему. 5