論理関数
ブール関数
とも言う
$ f:\{0,1\}^n\rightarrow\{0,1\}
n変数論理関数
入出力ともにブール値のもの
ハードウェアアーキテクチャの設計仕様や製造、最適化などにおいて中心的な役割を担う
参考
『情報理論のための数理論理学』
1章