This is documentation for Mathematica 9, which was
based on an earlier version of the Wolfram Language.
MATHEMATICA GUIDE

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.

Learning ResourcesLearning Resources

How Tos

Related Web Resources

Community

ReferenceReference

Logical Operators

And(&&, ) ▪ Or(||, ) ▪ Not(!, ¬) ▪ Nand() ▪ Nor() ▪ Xor() ▪ Implies() ▪ Equivalent() ▪ Equal(==) ▪ Unequal(!=) ▪ ...

symbolic truth values

Boole convert symbolic truth values to 0 and 1

Boolean Computation »

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