Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:appliesTo |
truth values
binary variables |
| gptkbp:containsElement |
0
1 |
| gptkbp:fieldOfStudy |
gptkb:mathematics
computer science |
| gptkbp:generalizes |
gptkb:classical_logic
|
| gptkbp:hasApplication |
gptkb:Venn_diagrams
cryptography information retrieval logic gates computer programming error detection circuit design database search set operations |
| gptkbp:hasAxiom |
Huntington's axioms
|
| gptkbp:hasProperty |
associativity
commutativity complementation distributivity identity element |
| gptkbp:hasSubgroup |
gptkb:logic
abstract algebra universal algebra |
| https://www.w3.org/2000/01/rdf-schema#label |
Boolean Algebra
|
| gptkbp:introduced |
gptkb:George_Boole
|
| gptkbp:introducedIn |
1847
|
| gptkbp:legalSystem |
gptkb:De_Morgan's_laws
absorption law associative law commutative law complement law distributive law domination law double negation law idempotent law identity law involution law null law |
| gptkbp:namedAfter |
gptkb:George_Boole
|
| gptkbp:operator |
OR
AND NOT |
| gptkbp:relatedTo |
gptkb:propositional_calculus
lattice theory switching algebra |
| gptkbp:usedIn |
gptkb:logic
gptkb:set_theory gptkb:digital_logic logic circuits |
| gptkbp:bfsParent |
gptkb:Boolean_Logic
|
| gptkbp:bfsLayer |
6
|