Boolean Logic

GPTKB entity

Statements (49)
Predicate Object
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
https://www.w3.org/2000/01/rdf-schema#label Boolean Logic
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
Digital Electronics
Predicate Logic
Algebraic Structure
Logic Gate
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 5