索引を施すことで2引数のBooleanFunctionを作る：

特定の引数についての値を計算する：

記号引数の場合，関数は未評価のまま残される：

BooleanFunctionは他のブール演算子と同じように使うことができる：

任意のブール式をBooleanFunction式に変換することができる：

BooleanFunction式の組合せを含ませる：

TrueまたはFalseと等価であるBooleanFunction式は自動的に簡約される：

BooleanFunctionは標準表現で，SameQを使って等価性をテストすることができる：

標準的な順序の真理値表を作る：

これと等価のBooleanFunction式を作る：

両者が等価であることを示す：

結果の真理値表が等しいことを示してもよい：

真理規則の完全なリストを作る：

対応するBooleanFunction式を作る：

完全リストの真理規則の順序は影響しない：

_を使って真理値表の「don't cares」示す：

BooleanFunctionを作る：

結果の真理値表はもとの指定にマッチする：

_と__を使って真理規則の「don't cares」を示す：

BooleanFunctionを作る：

もとの規則は完全に関数を指定し，結果の真理値表は全く等しい：

リストのリストを使ってベクトル値の真理値表を示す：

BooleanFunctionを作る：

結果の出力はもとの指定にマッチする：

ベクトル値の真理規則を使う：

BooleanFunctionを作る：

結果の真理規則はもとの指定にマッチする：

真理値表はFalseの代りに0，Trueの代りに1を使っても得ることができる：

結果の真理値表は全く同じである：

任意のブール式をBooleanFunction式に変換する：

両者が等しいことを示す：

任意のブール演算子を含む式を変換する：

両者が等しいことを示す：

BooleanFunction式を他の標準形式に変換する：

いくつかの異なる標準形：

真理値表：

真理規則：

CellularAutomatonを使ってBooleanFunctionを指定する：

二変数ブール関数すべてを列挙する：

すべての三変数ブール関数：

四変数の関数50個をランダムに抽出する：

ブール関数の標準形と最小化した形の大きさを比べる：

三変数：

四変数の最初の1000の関数：

≤，≥，<，>に対応する新たなブール演算子を作る：

これらは密接に関連している：

Impliesは x<=y に等しい：

f[u]≤g[u]でありそれ以外ではない場合の，ブール関数 f≼g の関係を定義する：

x≼x∨y を真理値表に反映させた：

標準的な不等式を使う：

すべてのブール関数 f と g について f∧g≼f≼f∨g である：

これは，f∧g⇔f でありそれ以外ではない場合に f≼g であることを証明する：

同様に，f∨g⇔g ありそれ以外ではない場合に f≼g であることを証明する：

あるいは f≼g で g≼h であると f≼h が含意されることを証明する：

ルール30の初期セルオートマトンルールを生成する：

これをシミュレーションする：

標準的な符号化と比べる：