Логические функции и их преобразования. 
Законы логики

1. Закон двойного отрицания (двойное отрицание исключает отрицание):

2. А =.

3. 4.1 Переместительный (коммутативный) закон:

a) для логического сложения: А Ъ B = B Ъ A;

b) для логического умножения: A & B = B & A.

Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.

4. Сочетательный (ассоциативный) закон:

a) для логического сложения: (А Ъ B) Ъ C = A Ъ (B Ъ C);

b) для логического умножения: (A & B) & C = A & (B & C).

При одинаковых знаках скобки можно ставить произвольно или вообще опускать.

5. Распределительный (дистрибутивный) закон:

a) для логического сложения: (А Ъ B) & C = (A & C) Ъ (B & C);

b) для логического умножения: (A & B) Ъ C = (A Ъ C) & (B Ъ C).

Закон определяет правило выноса общего высказывания за скобку.

6. Закон общей инверсии (законы де Моргана):

a) для логического сложения: = &.

b) для логического умножения: = Ъ.

7. Закон идемпотентности (от латинских слов idem — тот же самый и potens — сильный; дословно — равносильный):

a) для логического сложения: А Ъ A = A;

b) для логического умножения: A & A = A .

Закон означает отсутствие показателей степени.

8. Законы исключения констант:

a) для логического сложения: А Ъ 1 = 1, А Ъ 0 = A;

b) для логического умножения: A & 1 = A, A & 0 = 0.

9. Закон противоречия:

a) A & = 0.

Невозможно, чтобы противоречащие высказывания были одновременно истинными.

10. Закон исключения третьего:

a) A Ъ = 1.

Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе — ложно, третьего не дано.

11. Закон поглощения:

a) для логического сложения: А Ъ (A & B) = A;

a) для логического умножения: A & (A Ъ B) = A.

Знание законов логики позволяет проверять правильность рассуждений и доказательств. Основываясь на законах, можно выполнять упрощение сложных логических выражений. Такой процесс замены сложной логической функции более простой, но равносильной ей, называется минимизацией функции.

Некоторые преобразования логических формул похожи на преобразования формул в обычной алгебре (вынесение общего множителя за скобки, использование переместительного и сочетательного законов и т. п.), другие — основаны на свойствах, которыми не обладают операции обычной алгебры (использование распределительного закона для конъюнкции, законов поглощения, склеивания, де Моргана и др.).

Нарушения законов логики приводят к логическим ошибкам и вытекающим из них противоречиям.