This is documentation for Mathematica 7, which was
based on an earlier version of the Wolfram Language.
 Logic & Boolean Algebra Mathematica represents Boolean expressions in symbolic form, so they can not only be evaluated, but also be symbolically manipulated and transformed. Incorporating state-of-the-art quantifier elimination, satisfiability and equational logic theorem proving, Mathematica provides a powerful framework for investigations based on Boolean algebra. And(&&, )  ▪ Or(||, )  ▪ Not(!, ¬)  ▪ Nand()  ▪ Nor()  ▪ Xor()  ▪ Implies()  ▪ Equivalent()  ▪ Equal()  ▪ Unequal()  ▪ ... — symbolic truth values Boole — convert symbolic truth values to 0 and 1      BooleanFunction — general Boolean function      Mathematical Logic FullSimplify — simplify logic expressions and prove theorems ForAll (), Exists () — quantifiers      Boolean Vector Operations Nearest, FindClusters — operate on Boolean vectors TUTORIALS Relational and Logical Operators Conditionals Quantifiers MORE ABOUT Manipulating Equations Assumptions & Domains Distance & Similarity Measures Bitwise Operations RELATED LINKS Demonstrations related to Logic & Boolean Algebra (The Wolfram Demonstrations Project) How to: Use Logical Operators How to: Do Algebraic Calculations