ブール関数とも言う

f:\{0,1\}^n\rightarrow\{0,1\}

n変数論理関数

入出力ともにブール値のもの

ハードウェアアーキテクチャの設計仕様や製造、最適化などにおいて中心的な役割を担う

参考

『情報理論のための数理論理学』 1章