![Ch.6-2 選言標準式,連言標準式,等值句式的DNF與CNF / 傅皓政](https://i.ytimg.com/vi/0rtTQeNswk4/hqdefault.jpg)
コンテンツ
- 定義-連言標準形(CNF)はどういう意味ですか?
- Microsoft AzureとMicrosoft Cloudの紹介|このガイドでは、クラウドコンピューティングとは何か、Microsoft Azureを使用してクラウドからビジネスを移行および実行する方法を学習します。
- Techopediaは、連言標準形(CNF)について説明します
定義-連言標準形(CNF)はどういう意味ですか?
連言標準形(CNF)は、論理式をANDまたはORの句の連結として表現するブール論理へのアプローチです。論理積またはANDで接続された各句は、リテラルであるか、選言またはOR演算子を含んでいる必要があります。 CNFは自動定理証明に役立ちます。
Microsoft AzureとMicrosoft Cloudの紹介|このガイドでは、クラウドコンピューティングとは何か、Microsoft Azureを使用してクラウドからビジネスを移行および実行する方法を学習します。
Techopediaは、連言標準形(CNF)について説明します
連言標準形では、ブール論理のステートメントは、節と選言の節の結合です。つまり、ステートメントは、ANDで接続された一連のORです。
例えば:
(A OR B)AND(C OR D)
(AまたはB)および(CまたはBではない)
句はリテラルにすることもできます。
AまたはB
AとB
リテラルは、CNFでリテラル句と単一の句を持つ接続詞の接続詞として見られます。選言標準形などの別の形式で記述されたステートメントをCNFに変換することができます。