ブール関数
選言標準形と連言標準形が代表的である。他に、リード-マラー標準形などがある。