- A Symbolic Analysis of Relay and Switching Circuits
- AND gate
- Abstract algebra
- Algebra
- Algebra of concepts
- Algebra of sets
- Algebraic logic
- Algebraic semantics (mathematical logic)
- Algebraic structure
- Algorithm
- Application-specific integrated circuit
- Assembly language
- Asynchronous circuit
- Automorphism
- Axiomatization
- Axioms
- Bell System Technical Journal
- Binary decision diagram
- Binary number
- Binary operator
- Bit
- Bit blit
- Bit vector
- Bitwise operation
- Bitwise operations
- Boolean Algebra
- Boolean algebra (disambiguation)
- Boolean algebra (structure)
- Boolean circuit
- Boolean differential calculus
- Boolean polynomial
- Boolean prime ideal theorem
- Boolean satisfiability problem
- Boolean-valued semantics
- Booleo
- Branden Fitelson
- CRC Press
- Cambridge University Press
- Cambridge and Dublin Mathematical Journal
- Cantor algebra
- Capacitor
- Carry (arithmetic)
- Characteristica universalis
- Charles Sanders Peirce
- Circuit complexity
- Circuit diagram
- Circuit minimization for Boolean functions
- Claude Shannon
- Cofinite
- Combinational logic
- Complemented lattice
- Complex programmable logic device
- Computer
- Computer aided design
- Computer architecture
- Computer displays
- Computer hardware
- Computer programming
- Courier Dover Publications
- De Morgan's law
- De Morgan's laws
- Digital audio
- Digital cinematography
- Digital electronics
- Digital logic
- Digital photography
- Digital radio
- Digital signal
- Digital signal (signal processing)
- Digital signal processing
- Digital television
- Digital video
- Distributive lattice
- Doi (identifier)
- Edward Vermilye Huntington
- Electronic circuit
- Electronic component
- Electronic design automation
- Electronic literature
- Electronics design
- Elementary algebra
- Elsevier
- Emitter-coupled logic
- Entailment
- Erasable programmable logic device
- Ernst Schröder (mathematician)
- Exclusive OR
- False premise
- Field (mathematics)
- Field of sets
- Field-programmable gate array
- Field-programmable object array
- Finite-state machine
- First order logic
- Flip-flop (electronics)
- Formal equivalence checking
- Formal verification
- Function composition
- Fuzzy logic
- GF(2)
- Gate equivalent
- Generic array logic
- George Boole
- Gottfried Wilhelm Leibniz
- Greatest common divisor
- Group (mathematics)
- Group action (mathematics)
- Group theory
- Hardware acceleration
- Hardware description language
- Harvard University Press
- Henry M. Sheffer
- Heyting algebra
- Hierarchical state machine
- High-level synthesis
- Hybrid integrated circuit
- I Ching
- ISBN (identifier)
- ISSN (identifier)
- Idempotence
- Identity (mathematics)
- Indefinite article
- Index set
- Indexed family
- Indicator function
- Inductor
- Integer
- Integrated circuit
- Internet Encyclopedia of Philosophy
- Intuitionistic logic
- Inverter (logic gate)
- Isomorphic
- Jean-Yves Girard
- John Etchemendy
- John Venn
- Jon Barwise
- Journal of Automated Reasoning
- Józef Maria Bocheński
- Klein four-group
- LCCN (identifier)
- Larry Wos
- Least common multiple
- List of Boolean algebra topics
- Logic design
- Logic gate
- Logic gates
- Logic in computer science
- Logic optimization
- Logic synthesis
- Logical operation
- Logical system
- M. H. Stone
- MR (identifier)
- Machine code
- Macrocell array
- Magnetic storage
- Mask (computing)
- Material biconditional
- Mathematical structure
- Mathematics
- Memory cell (computing)
- Metastability (electronics)
- Mixed-signal integrated circuit
- Model (logic)
- Model of computation
- Modular arithmetic
- Multi-valued logic
- NP-complete
- North Holland
- Number
- OR gate
- Oxford University Press
- Partially ordered set
- Paul Richard Halmos
- Pixels
- Place and route
- Placement (electronic design automation)
- Princeton University Press
- Printed circuit board
- Printed electronics
- Probabilistic logic
- Programmable Array Logic
- Programmable logic array
- Programmable logic device
- Programming language
- Programming languages
- Prometheus Books
- Propositional logic
- Punched card
- Punched tape
- Raster graphics
- Real number
- Register-transfer level
- Relation algebra
- Relevance logic
- Resistor
- Reuben Louis Goodstein
- Ring (mathematics)
- Roman Sikorski
- Routing (electronic design automation)
- Runt pulse
- S2CID (identifier)
- Sequence
- Sequent
- Sequential logic
- Sheffer stroke
- Sic
- Solid modeling
- Springer Science+Business Media
- Springer-Verlag
- Square-free integer
- Statistics
- Stone's representation theorem for Boolean algebras
- Subset
- Switching circuit
- Switching circuit theory
- Synchronous circuit
- Telephony
- Tensor Processing Unit
- The Laws of Thought
- The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science
- Theoretical computer science
- Three-dimensional integrated circuit
- Time complexity
- Transaction-level modeling
- Transactions of the American Mathematical Society
- Transistor
- Truth assignment
- Truth tables
- Truth values
- Two-element Boolean algebra
- Two-valued logic
- Unary operator
- Uncountable
- Unit interval
- Vector logic
- Very-large-scale integration
- Video cards
- Voxel
- Walter Gottschalk
- William McCune
- William Stanley Jevons
- Word (data type)