Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:alsoKnownAs |
gptkb:algebra
|
| gptkbp:basisFor |
gptkb:artificial_intelligence
gptkb:logic gptkb:machine_learning gptkb:Venn_diagrams gptkb:Karnaugh_maps automata theory binary arithmetic control systems cryptography information retrieval logic gates network protocols robotics search algorithms computer programming decision making digital signal processing switching theory compiler design formal verification logic programming logic puzzles data structures digital electronics mathematical proofs database management systems finite state machines error detection and correction truth tables circuit minimization modern computer architecture search engine queries |
| 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 |
OR
AND XOR NOT |
| gptkbp:usedIn |
gptkb:set_theory
digital circuit design search algorithms database queries |
| gptkbp:valuation |
false
true |
| gptkbp:bfsParent |
gptkb:Boolean_model
|
| gptkbp:bfsLayer |
5
|