非常に強力なブール計算

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

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


大きなブール式を取り扱う	ブール式形式の変換	真理値表からブール関数を生成する

ブール関数に対して真理値表を生成する	プール関数の真理値表を可視化する	ブール式を最小化する

ブール充足可能性問題を解く	大きなブール充足可能性問題を解く	ブール式を満足する事例数を数える

さまざまな真理値表の形式へ，そして表形式から変換する