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

New to Mathematica? Find your learning path »
Have a question? Ask support »