Augustus De Morgan

er betegnelsen for to udsagnslogiske love. Den ene siger, at negationen af en konjunktion af to udsagn er ækvivalent med disjunktionen af negationerne af de to udsagn. Hvis fx det er falsk, at Peter både har evner for sprog og for matematik, så siges det samme, når det hævdes, at han enten ingen evner har for sprog eller ingen evner har for matematik eller ikke har evner for nogen af delene. Det skrives i formel notation: \(\neg(p\land q) \Leftrightarrow (\neg p \lor \neg q)\).

Den anden siger tilsvarende, at negationen af disjunktionen af to udsagn er ækvivalent med konjunktionen af negationerne af de to udsagn. Hvis fx det er falsk, at Peter enten har fuldskæg eller overskæg, så er det sandt, at han både intet fuldskæg har og intet overskæg har. I formel notation skrives det \(\neg (p\lor q) \Leftrightarrow(\neg p \land \neg q)\).

er formler om komplementærmængden til en fællesmængde hhv. foreningsmængde, se mængdealgebra.