A conversion means 13 converts a predicate logic describing the condition into a DNF (Disjunctive Normal Form) standard form. 変換手段13は、条件を記述した述語論理を、DNF標準形に変換する。 - 特許庁
BINARY TREE GENERATION METHOD, FILTER EXPRESSION DISJUNCTIVENORMALFORM GENERATION METHOD AND COMPUTER-READABLE RECORDING MEDIUM FOR THE SAME バイナリ・ツリー生成方法、フィルタ式の積和標準形生成方法及びそのためのコンピュータで読み出し可能な記録媒体 - 特許庁