Законы де Моргана (правила де Моргана) — логические правила, связывающие пары дуальных логических операторов при помощи логического отрицания.
Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы следующие соотношения:
not (P and Q) = (not P) or (not Q) not (P or Q) = (not P) and (not Q)
|