ブール関数
ブール関数（ブールかんすう、）は、非負整数 "k" 個のブール領域 B formula_1 の引数をとり、1個のブール領域の値となる関数 f : B"k" → B である。"k" = 0 では、単に定数 B となる。