選言標準形 (DNF - Disjunctive Normal Form)

選言標準形（DNF）は、項の論理和として書かれ、各項がリテラルの論理積になっている形式である。真になる条件を列挙する説明や、ルールのケース分けに向く。

仕組みと確認

真理値表から真になる行を項へ変換し、吸収則や重複除去で簡約する。各項が一つの許可・成立ケースを表すことを確認し、ケースの抜けと重なりをテストする。

限界と注意点

変数数が増えると項数が指数的に増える。アクセス制御や業務ルールでは、列挙が可読性を高めるか、別の制約表現へ移すべきかを評価する。