ゆるく勉強しているよこの広告は、90日以上更新していないブログに表示しています。なる関数と同一視できる。意味論的同値関係によってパーティショニングすることができる。各パーティションは、DNFもしくはCNFの形式の論理式で代表させることができる。別の言い方をすると、任意の論理式はDNFもしくはCNFと意味論的同値関係にある。congruenceな関係でもある。ある別の論理式に置換してもよいという定理が得られる。帰納的に以下で定める。α∨β→δ(α)∧δ(β)。φ→ψを双対関係という。DNFとCNFは互いに双対関係であり、また、δδ=1である。