析取余数

disjunctive

disjunctive syllogism

disjunctive

principal disjunctive normal form

disjunctive clause

quasi-prenex disjunctive kernel normal form function【数】

quasi-disjunctive equality matrix【数】

prenex disjunctive normal form【数】