目次:
定義-選言標準形（DNF）とはどういう意味ですか？
選言標準形（DNF）は、ブール数学の論理式の正規化です。 言い換えると、論理式は、すべての変数との論理積の選言であり、その否定が各論理積に1回存在する場合、選言標準形であると言われます。 同じ命題のすべての選言標準形は相互に等価であるため、すべての選言標準形は一意ではありません。
選言標準形は、自動定理証明などの分野で広く使用されています。
Techopediaは選言標準形（DNF）を説明します
論理式は、1つまたは複数のリテラルの1つまたは複数の接続詞が交互に存在する場合にのみ、選言標準形になります。 関係するすべての変数がすべての句で1回だけ表される場合、式は完全な選言標準形式と見なされます。 連言標準形と同様に、選言標準形の命題演算子は同じです：AND、OR、NOT。
すべての論理式は、同等の選言標準形に変換できます。 ただし、場合によっては、選言標準形への変換により、論理関数の指数関数的爆発が発生する可能性があります。 もう1つの重要な点は、一意のブール関数は、1つの一意の完全選言標準形のみで表現できることです。 真理値表法、真理値ツリー、または論理的等価の表などの手法を使用して、論理式の選言標準形を生成できます。 選言標準形のバリエーションであるK-DNFは、計算の複雑さの研究で広く使用され、人気があります。
