Topic
De Morgan's laws.
pair of transformation rules that are both valid rules of inference
The journal
Open the journal →The conversation starts in the journal — be the first to post.
About De Morgan's laws
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.
Everything about De Morgan's laws →