ブール代数は,真理値(真または偽),および,ある一定の制約条件下でこれらの値のいくつが関連付けられるかについての研究です.Wolfram|Alphaは,真理値表を計算し,標準形を求め,論理回路を構築すること等を通してブール代数に取り組みます.
さまざまな特性や形を計算し,さまざまな図を生成することでブール代数を実行する.
任意のブール式の論理回路を可視化する:
多くのブール変数を持つブール関数について,完全な真理値表を生成する.
ブール式のさまざまな標準形を計算する.
整数指標と変数の数で指定されたブール関数で計算する.