選言標準形 (DNF - Disjunctive Normal Form) ・主加法標準形 (Minterm Expansion)

選言標準形（DNF）と主加法標準形（minterm expansion）は、論理式を項の論理和で表す関係にある。一般のDNFが任意の項を許すのに対し、主標準形では真理値表で式が真になる各行からmintermを作り、全ケースを明示する。

仕組みと確認

各mintermが対応する割り当てで真になることを確認し、真になる行を漏れなく列挙する。一般DNFとの違い、項の吸収・重複、アクセス条件や業務ルールへの対応を表でレビューする。

主標準形は変数数に対して項数が指数的に増えやすい。ケースの網羅性を優先するのか、短い式・実行性能・保守性を優先するのかを決め、別の表現とのトレードオフを記録する。