|
gptkbp:instanceOf
|
gptkb:logic
|
|
gptkbp:alsoKnownAs
|
gptkb:Boolean_Algebra
|
|
gptkbp:application
|
gptkb:Set_Theory
Programming
Digital Circuit Design
Logic Gates
Search Algorithms
|
|
gptkbp:basisFor
|
gptkb:Information_Theory
gptkb:Binary_Arithmetic
Automata Theory
Formal Verification
Modern Computing
Propositional Logic
Switching Theory
|
|
gptkbp:field
|
gptkb:Mathematics
Computer Science
|
|
gptkbp:introducedIn
|
19th Century
|
|
gptkbp:namedAfter
|
gptkb:George_Boole
|
|
gptkbp:operator
|
gptkb:NOR
gptkb:NAND
OR
AND
XOR
NOT
|
|
gptkbp:publishedIn
|
gptkb:An_Investigation_of_the_Laws_of_Thought
|
|
gptkbp:relatedTo
|
gptkb:Set_Theory
gptkb:Algebraic_Structure
gptkb:Logic_Gate
Digital Electronics
Predicate Logic
Propositional Calculus
Truth Table
|
|
gptkbp:symbol
|
¬
∧
∨
⊕
⊤
⊥
|
|
gptkbp:usedIn
|
Search Engines
Control Systems
Computer Programming
Mathematical Proofs
Circuit Design
Database Queries
|
|
gptkbp:valuation
|
True
False
|
|
gptkbp:bfsParent
|
gptkb:Fuzzy_Logic
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Boolean Logic
|