Prawa De Morgana – zestaw reguł w logice matematycznej i teorii mnogości, konkretniej w klasycznym rachunku zdań, rachunku kwantyfikatorów i algebry zbiorów. Prawa De Morgana wiążą ze sobą pary spójników, kwantyfikatorów lub działań na zbiorach za pomocą negacji lub funkcji dopełnienia zbioru Słownik teorio-mnogościowy, Katedra Podstaw Informatyki – Wydział Informatyki i Telekomunikacji Politechniki Wrocławskiej (WIT PWr), cs.pwr.edu.pl [dostęp 2025-05-13].. Prawa te są twierdzeniami w niektórych teoriach formalnych, np. w logice klasycznej, lub aksjomatami definiującymi niektóre struktury jak algebry De Morgana.
Prawa te sformułował Augustus De Morgan – angielski matematyk z XIX wieku.
Rachunek zdań I prawo De Morgana – zaprzeczania koniunkcji negacja koniunkcji jest równoważna alternatywie negacji
gdzie i oznaczają zdania w sensie logiki.
II prawo De Morgana – zaprzeczenia alternatywy negacja alternatywy jest równoważna koniunkcji negacji
Prawa umożliwiają definiowanie jednych spójników zdaniowych za pomocą innych.