Site Navigation
Categories:
category
categories
Boolean algebra
Articles lacking in-text citations
Summary Of: Boolean algebra (structure)
Encyclodia Page On: Boolean algebra (structure)
These Are Links To Other Documents
|
list of references
|
external links
|
inline citations
|
improve
|
where appropriate
|
Boolean algebra (introduction)
|
Boolean algebra (logic)
|
Boolean algebras canonically defined
|
abstract algebra
|
complemented
|
distributive
|
lattice
|
algebraic structure
|
set
|
logic
|
power set
|
field of sets
|
|
|
set
|
binary operations
|
unary operation
|
axioms
|
associativity
|
commutativity
|
absorption
|
distributivity
|
complements
|
partial order
|
involution
|
self-dual
|
logic
|
logically equivalent
|
electrical engineering
|
bit
|
digital circuit
|
voltage
|
two-element Boolean algebra
|
brute force
|
propositional calculus
|
Lindenbaum algebra
|
tautology
|
free Boolean algebra
|
linearly ordered
|
power set
|
empty set
|
cofinite
|
natural number
|
divisors
|
distributive lattice
|
square-free
|
topological spaces
|
ring
|
homomorphism
|
function
|
class
|
subcategory
|
category
|
injective
|
surjective
|
bijective
|
ring
|
symmetric difference
|
XOR
|
Boolean rings
|
categories
|
ring ideal
|
prime ideal
|
maximal ideal
|
power of two
|
Stone's
|
representation theorem for Boolean algebras
|
closed-open
|
compact
|
totally disconnected
|
Hausdorff
|
unary functional symbol
|
Edward Vermilye Huntington
|
Herbert Robbins
|
Alfred Tarski
|
William McCune
|
Argonne National Laboratory
|
automated reasoning program
|
EQP
|
distributive lattice
|
ideals
|
orthocomplemented lattice
|
quantum logic
|
Hilbert spaces
|
George Boole
|
system of logic
|
Augustus De Morgan
|
William Hamilton
|
The Laws of Thought
|
William Jevons
|
Charles Peirce
|
Ernst Schröder
|
distributive lattices
|
A. N. Whitehead
|
Edward Vermilye Huntington
|
Marshall Stone
|
Garrett Birkhoff
|
Paul Cohen
|
Dana Scott
|
mathematical logic
|
axiomatic set theory
|
forcing
|
List of Boolean algebra topics
|
Boolean domain
|
Boolean function
|
Boolean logic
|
Boolean ring
|
Boolean-valued function
|
Canonical form (Boolean algebra)
|
Complete Boolean algebra
|
De Morgan's laws
|
Finitary boolean function
|
Forcing (mathematics)
|
Free Boolean algebra
|
Heyting algebra
|
Karnaugh map
|
Laws of Form
|
Logic gate
|
Logical graph
|
Logical matrix
|
Propositional logic
|
Two-element Boolean algebra
|
Venn diagram
|
McGraw–Hill
|
ISBN 978-0-07-249938-4
|
Oxford University Press
|
ISBN 978-0-19-850048-3
|
ISSN
|
Halmos, Paul
|
ISBN 978-0-387-90094-0
|
Halmos, Paul
|
Mathematical Association of America
|
ISBN 978-0-88385-327-6
|
Huntington, E. V.
|
Transactions of the American Mathematical Society
|
ISSN
|
Huntington, E. V.
|
Transactions of the American Mathematical Society
|
ISSN
|
McGraw–Hill
|
ISBN 978-0-07-041460-0
|
North-Holland
|
ISBN 978-0-444-87291-3
|
ISBN 978-0-444-70261-6
|
ISBN 978-0-444-87152-7
|
ISBN 978-0-444-87153-4
|
ISBN 978-0-486-63829-4
|
Dover Publications
|
Stanford Encyclopedia of Philosophy
|
Eric W. Weisstein
|
The Wolfram Demonstrations Project
|
ISBN 3-540-90578-2
|
Eric W. Weisstein
|
MathWorld
|
Categories
|
Boolean algebra
|
Articles lacking in-text citations
|
This article is licensed under the
GNU Free Documentation License
. It uses material from the
Wikipedia article "Boolean algebra (structure)"
.