De Morgans love

Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. Begrundelsen kan findes på diskussionssiden eller i artikelhistorikken. Du kan hjælpe ved at angive kilder til de påstande, der fremføres. Hvis ikke der tilføjes kilder, vil artiklen muligvis blive slettet (marts 2018) (Lær hvordan og hvornår man kan fjerne denne skabelonbesked)

De Morgans love er et sæt logiske "regneregler", som knytter logiske operatorer sammen i par ved at kunne "danne" den ene operator ud fra den anden samt nogle negeringer. Princippet blev første gang blev omtalt af den indisk-fødte britiske matematiker og logiker Augustus De Morgan, og lå til grund for den boolske algebra som George Boole siden udviklede.