De Morgan's laws


De Morgan's laws

pl n (Logic) (in formal logic and set theory) the principles that conjunction and disjunction, or union and intersection, are dual. Thus the negation of P & Q is equivalent to not-P or not-Q [named after Augustus De Morgan (1806–71), British mathematician]