![Ch.6-2 選言標準式,連言標準式,等值句式的DNF與CNF / 傅皓政](https://i.ytimg.com/vi/0rtTQeNswk4/hqdefault.jpg)
コンテンツ
- 定義-選言標準形(DNF)とはどういう意味ですか?
- Microsoft AzureとMicrosoft Cloudの紹介|このガイドでは、クラウドコンピューティングとは何か、Microsoft Azureを使用してクラウドからビジネスを移行および実行する方法を学習します。
- Techopediaは選言標準形(DNF)について説明します
定義-選言標準形(DNF)とはどういう意味ですか?
選言標準形(DNF)は、ブール数学の論理式の正規化です。言い換えると、論理式は、すべての変数との論理積の選言であり、その否定が各論理積で1回存在する場合、選言標準形であると言われます。同じ命題のすべての選言標準形は相互に等価であるため、すべての選言標準形は一意ではありません。
選言標準形は、自動定理証明などの分野で広く使用されています。
Microsoft AzureとMicrosoft Cloudの紹介|このガイドでは、クラウドコンピューティングとは何か、Microsoft Azureを使用してクラウドからビジネスを移行および実行する方法を学習します。
Techopediaは選言標準形(DNF)について説明します
論理式は、1つまたは複数のリテラルの1つまたは複数の接続詞が交互に存在する場合にのみ、選言標準形になります。関係するすべての変数がすべての句で1回だけ表される場合、式は完全な選言標準形式と見なされます。連言標準形と同様に、選言標準形の命題演算子は同じです:AND、OR、NOT。
すべての論理式は、同等の選言標準形に変換できます。ただし、場合によっては、選言標準形への変換により、論理関数の指数関数的爆発が発生する可能性があります。もう1つの重要な点は、一意のブール関数は、1つの一意の完全選言標準形のみで表現できることです。真理値表法、真理値ツリー、または論理的等価の表などの手法を使用して、論理式の選言標準形を生成できます。選言標準形のバリエーションであるK-DNFは、計算の複雑さの研究で広く使用され、人気があります。