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

Некоторые логические законы и правила преобразования логических выражений:

Логические законы:

• Закон тождества. videouroki.net Всякая мысль тождественна самой себе. videouroki.net
• Закон непротиворечия. videouroki.net Невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении. videouroki.net
• Закон исключённого третьего. videouroki.net Из двух противоречащих суждения одно истинно, другое ложно, а третьего не дано. videouroki.net
• Закон достаточного основания. videouroki.net Всякая истинная мысль должна быть достаточно обоснована. videouroki.net

Правила преобразования логических выражений:

• Переместительный (коммутативный) закон. ifn.kemsu.ru nsportal.ru Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания. ifn.kemsu.ru nsportal.ru
• Сочетательный (ассоциативный) закон. ifn.kemsu.ru nsportal.ru При одинаковых знаках скобки можно ставить произвольно или вообще опускать. ifn.kemsu.ru nsportal.ru
• Распределительный (дистрибутивный) закон. ifn.kemsu.ru nsportal.ru Закон определяет правило выноса общего высказывания за скобку. ifn.kemsu.ru nsportal.ru
• Закон общей инверсии (законы де Моргана). ifn.kemsu.ru nsportal.ru
• Закон идемпотентности. ifn.kemsu.ru nsportal.ru Закон означает отсутствие показателей степени. ifn.kemsu.ru nsportal.ru
• Законы исключения констант. ifn.kemsu.ru nsportal.ru Для логического сложения: А Ú 1 = 1, А Ú 0 = A. ifn.kemsu.ru Для логического умножения: A & 1 = A, A & 0 = 0. ifn.kemsu.ru
• Закон поглощения. ifn.kemsu.ru Для логического сложения: А Ú (A & B) = A. ifn.kemsu.ru Для логического умножения: A & (A Ú B) = A. ifn.kemsu.ru