論理式は
Mathematica では記号形式で表現されるので，評価することも記号的に操作して変換することもできる．
Mathematica は最新の量限定子除去，充足可能性，方程式の論理定理照明を統合し， ブール代数に基づいた解析において強力なフレームワークを提供する．
And(
&&, 
)
▪ Or(
||, 
)
▪ Not(
!, ¬)
▪ Nand(
)
▪ Nor(
)
▪ Xor(
)
▪ Implies(
)
▪ Equal(
)
▪ Unequal(
)
▪ True ▪ False
Boole — 記号的真理値を0と1の値に変換する
LogicalExpand — 論理式を標準形に展開する
FullSimplify — 論理式を簡約して定理を証明する
FindInstance — ブール式を満足する事例を求める
ForAll (
) — 全称記号
Exists (
) — 存在記号
Resolve — ブールおよび他の領域から量限定子を除去する
関連リンク
