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

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

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

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

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

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