Какие основные законы логики позволяют упрощать логические выражения?

Некоторые основные законы логики, которые позволяют упрощать логические выражения:

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