Example image of eyePlorer eyePlorer map for 'Two-element Boolean algebra': Abstract algebra Boolean algebra (structure) Boolean domain Mathematics Universe Paul Halmos Bounded set Partially ordered set Arity Binary operation Complement Map (mathematics) Operation (mathematics) Unary operation Associativity Commutativity Elementary algebra Order of operations Boolean algebra (logic) Algebraic structure Universal algebra Bijection Negation Principle of bivalence Logical conjunction Logical disjunction Duality Decision problem Distributivity Nand Nor Concatenation Willard Van Orman Quine Laws of Form Syntax Axiom Boolean function De Morgan's laws Distributive lattice Metatheorem Decidability (logic) Exponential function P versus NP problem Polynomial Introduction to Boolean algebra Stanford Encyclopedia of Philosophy 2-valued morphism Existential graph Star product MV-algebra