|
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
|
|
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
gptkb:Computer_Arithmetic_Unit
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Boolean Algebra
|