Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:law
|
| gptkbp:appliesTo |
gptkb:algebra
gptkb:logic gptkb:set_theory |
| gptkbp:category |
logical equivalence
set-theoretic identity |
| gptkbp:describes |
relationship between conjunction and disjunction in logic
relationship between union and intersection in set theory |
| gptkbp:field |
gptkb:logic
gptkb:mathematics |
| gptkbp:firstLaw |
¬(A ∧ B) = ¬A ∨ ¬B
|
| gptkbp:formedBy |
gptkb:Augustus_De_Morgan
|
| https://www.w3.org/2000/01/rdf-schema#label |
De Morgan's laws
|
| gptkbp:namedAfter |
gptkb:Augustus_De_Morgan
|
| gptkbp:secondLaw |
¬(A ∨ B) = ¬A ∧ ¬B
|
| gptkbp:setTheoryFormulation |
(A ∩ B)' = A' ∪ B'
(A ∪ B)' = A' ∩ B' |
| gptkbp:statedIn |
1847
|
| gptkbp:usedIn |
computer science
mathematical proofs digital logic design |
| gptkbp:bfsParent |
gptkb:algebra
|
| gptkbp:bfsLayer |
4
|