English Wikipedia - The Free Encycl...
Download this dictionary
De Morgan's laws
In
propositional logic
and
boolean algebra
,
De Morgan's laws
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
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License