This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
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(!= ▪ ...
True, False 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