Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical laws
|
| gptkbp:appliesTo |
set theory
propositional logic |
| gptkbp:description |
relationship between conjunction and disjunction
|
| https://www.w3.org/2000/01/rdf-schema#label |
De Morgan's Laws
|
| gptkbp:is_used_in |
Boolean algebra
computer science mathematical proofs |
| gptkbp:previousName |
gptkb:Augustus_De_Morgan
|
| gptkbp:related_to |
negation
|
| gptkbp:state |
¬(A ∧ B) = ¬A ∨ ¬B
¬(A ∨ B) = ¬A ∧ ¬B |