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.
convert symbolic truth values to 0 and 1
simplify logic expressions and prove theorems
, FindClusters —
operate on Boolean vectors