連言標準形
連言標準形とは l i , j {\displaystyle l_{i,j}} がリテラルの時、以下の形式をした論理式のこと。
⋀ i ⋁ j l i , j {\displaystyle \bigwedge _{i}\bigvee _{j}l_{i,j}}
内側の選言を節(英: clause)と呼ぶ。
連言標準形(れんげんひょうじゅんけい、英: Conjunctive normal form, CNF)は、数理論理学においてブール論理における論理式の標準化(正規化)の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。