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

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

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

• Закон двойного отрицания. sites.google.com www.homework.ru Означает, что операция «НЕ» обратима: если применить её два раза, логическое значение не изменится. sites.google.com
• Закон исключённого третьего. sites.google.com Основан на том, что в классической (двузначной) логике любое логическое выражение либо истинно, либо ложно («третьего не дано»). sites.google.com
• Законы де Моргана. sites.google.com www.homework.ru При их использовании не просто «общее» отрицание переходит на отдельные выражения, но и операция «И» заменяется на «ИЛИ» (и наоборот). sites.google.com
• Переместительные (коммутативные) законы. koll09.ucoz.site Позволяют менять местами логические переменные при операциях конъюнкции и дизъюнкции. koll09.ucoz.site
• Сочетательные (ассоциативные) законы. koll09.ucoz.site Если в логическом выражении используется только операция конъюнкции или дизъюнкции, то можно пренебрегать скобками или произвольно их расставлять. koll09.ucoz.site
• Распределительные (дистрибутивные) законы. koll09.ucoz.site Определяют правило выноса общего высказывания за скобку. ifn.kemsu.ru
• Законы исключения констант. koll09.ucoz.site Например, для логического сложения А Ú 1 = 1, А Ú 0 = A. ifn.kemsu.ru
• Закон поглощения. koll09.ucoz.site ifn.kemsu.ru Для логического сложения А Ú (A & B) = A, для логического умножения A & (A Ú B) = A. ifn.kemsu.ru

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