List of Boolean algebra topics

• George Boole
• Boolean algebra
• Boolean function
• Boolean homomorphism
• Boolean prime ideal theorem
• Boolean satisfiability problem
• canonical form (Boolean algebra)
• compactness theorem
• connective -- see logical operator
• de Morgan's laws
• Augustus De Morgan
• duality (order theory)
• formal system
• Heyting algebra
• interior algebra
• Karnaugh map
• Lindenbaum algebra
• logic gate
• logical operator
• monadic Boolean algebra
• propositional logic
• Marshall Harvey Stone
• Stone duality
• Stone's representation theorem for Boolean algebras
• Stone space -- see Stone's representation theorem for Boolean algebras
• topological Boolean algebra
• truth table
• Venn diagram