目次:
定義-連言標準形（CNF）はどういう意味ですか？
連言標準形（CNF）は、論理式をANDまたはORの句の連結として表現するブール論理へのアプローチです。 論理積またはANDで接続された各句は、リテラルであるか、論理和またはOR演算子を含んでいる必要があります。 CNFは自動定理証明に役立ちます。
Techopediaが接続標準形（CNF）を説明します
連言標準形では、ブール論理のステートメントは、節と選言の節の結合です。 つまり、ステートメントはANDで接続された一連のORです。
例えば：
（A OR B）AND（C OR D）
（AまたはB）および（CまたはBではない）
句はリテラルにすることもできます。
AまたはB
AとB
リテラルは、CNFでリテラル句と単一の句を持つ偶然の接続詞として見られます。 選言標準形など、別の形式で記述されたステートメントをCNFに変換することができます。
