非常に強力なブール計算

Mathematica 7ではブール計算の主要新機能を導入し，はじめて大規模なブール計算を主流の計算に持ち込んでいる．最近のアルゴリズム的発展の上に構築された Mathematica 7 は，数百から数十万個の変数を持つブール式を扱う総合的な機能をすべて Mathematica の他の記号的機能に完全に統合させた形で提供し，広範な分野における離散系と論理系の大規模な設計，検証，および最適化を可能にしている．

最新のブール関数最小化 »
CNF，DNF，ESOP，ANF，NAND，NOR，BDT等の形式と変換のサポート »
ドントケア値と変数を完全に記号的にサポート »
任意ブール関数に対する二分決定図（BDD）表示と高速計算
任意のブール対称関数の組込みの表示
さまざまな真理値表への，およびこれらからの高速変換 »
最小項と最大項からのブール関数構築 »
高速の充足可能性(SAT)問題解法，同等性検定，および事例計算 »
ブールの限定記号消去の完全サポート
代数操作関数との完全統合 »