Example image of eyePlorer eyePlorer map for 'Karnaugh map': Boolean algebra (logic) Race condition Boolean logic Gray code Truth table Canonical form (Boolean algebra) Bell Labs Edward W. Veitch Maurice Karnaugh Telecommunication Quine–McCluskey algorithm Espresso heuristic logic minimizer Inverse Rectangle Don't-care (logic) Venn diagram Torus De Morgan's laws Consensus theorem Logic redundancy List of Boolean algebra topics Palm OS SourceForge French language Czech language English language Circuit minimization Half subtractor Scientific phenomena named after people Logic synthesis Richards controller Allan Marquand Logic gate Number One Crossbar Switching System Hazard (logic) McCarthy Formalism Carnot Carnot cycle Ternary logic Law of excluded middle Hypercube Digital electronics Polytechnic Institute of New York University Propositional formula Algorithm