ブール関数
例えば下の左図は、ブール関数 formula_1 を表す二分決定木と真理値表を示している。この木構造で、引数群の値の組み合わせに対応した関数の値はグラフを上から順にたどっていけば決定できる。従って、 formula_2 の関数値は、まず formula_3 から点線(formula_4)をたどって formula_5 ノードに行き、続いて実線(formula_6) をたどって formula_7 へ、最後に実線(formula_8)により1終端ノードにたどり着く。従って, formula_9 の値は 1 ということになる。