ブール関数
(命題論理の)論理式で表現できるが、効率的な表現としては次のようなものがある。
二分決定図 (BDD)
否定標準形
Propositional Directed Acyclic Graph (PDAG)