De Morgan's laws are a pair of simple statements relating disjunction and conjunction in formal logic. Specifically: 1. * The negation of the conjunction of two statements is logically equivalent to the disjunction of their negations. 2. * The negation of the disjunction of two statements is logically equivalent to the conjunction of their negations. Since the English description is obviously very unwieldy, they are better described here in terms of logical operators, respectively: 1. * * Both of these laws can easily be verified using truth tables:
Attributes | Values |
---|---|
rdfs:label |
|
rdfs:comment |
|
sameAs | |
dcterms:subject | |
urlname |
|
dbkwik:electronics...iPageUsesTemplate | |
Title |
|
abstract |
|