How to | 論理演算子を使う方法
How to | 論理演算子を使う方法
Wolfram言語はプログラミングだけでなく数学操作でも論理演算子をサポートしている．
二項演算子である「&&」および「」は結合(And)および分離(Or)を意味する．一方「!」は前置演算子で否定(Not)を意味する．次の2つの入力は等しい：
(True && False) || !TrueOr[And[True, False], Not[True]]TrueおよびFalseの代りに記号が使える．BooleanConvertは論理式の多くを記号的に評価することができる．
は 
であることが想定される：
BooleanConvert[(a && b) || (!a && b)]Resolveを使って量化論理文の真の値を求める：
Resolve[ForAll[{a, b}, Equivalent[(a && b) || (!a && b), b]], {a, b}, Booleans]
Resolve[ForAll[a, Exists[b, (a && b) || (!a && b)]], {a, b}, Booleans]Wolfram言語は論理演算子であるImpliesも認識し，これは 
を示す場合に使える：
Resolve[ForAll[{a, b}, Implies[a && b, b]], {a, b}, Booleans]SatisfiableQを使ってaおよびbが 
を満足するかどうかをチェックする：
SatisfiableQ[(a && b) && (!a || !b), {a, b}]