lleis de De Morgan

f

pl

Matemàtiques

Lògica

En lògica d’enunciats, lleis donades per les equivalències següents: no(P i Q) = (no P) o (no Q), i no(P o Q) = (no P) i (no Q).

En teoria de conjunts, lleis donades per les igualtats

i

on les barreres indiquen els conjunts complementaris.

Les lleis de De Morgan se satisfan en tota Boole, àlgebra de .