05-09-2023
Законы де Мо́ргана (правила де Мо́ргана) — логические правила, связывающие пары дуальных логических операторов при помощи логического отрицания.
Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы следующие соотношения:
Обычная запись этих законов в формальной логике:
или
в теории множеств:
или:
Если существует операция логического умножения двух и более элементов, операция «и» — (A&B), то для того, чтобы найти обратное от всего суждения ~(A&B), необходимо найти обратное от каждого элемента и объединить их операцией логического сложения, операцией «или» — (~A+~B). Закон работает аналогично в обратном направлении: ~(A+B) = (~A&~B)
Законы де Моргана.