De Morgan's laws
id:
de-morgan-s-laws-209-764266
title:
De Morgan's laws
text:
In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation. The rules can be expressed in English as:
- The negation of "A and B" is the same as "not A or not B."
- The negation of "A or B" is the
brand slug:
wiki
category slug:
encyclopedia
description:
Pair of logical equivalences
original url:
https://en.wikipedia.org/wiki/De_Morgan%27s_laws
date created:
2002-04-17T15:13:48Z
date modified:
2024-09-11T12:39:13Z
main entity:
{"identifier":"Q173300","url":"https://www.wikidata.org/entity/Q173300"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/0/06/Demorganlaws.svg","width":600,"height":800}
fields total:
13
integrity:
16