【计】 析取三段论

disjunctive

disjunctive

principal disjunctive normal form

disjunctive clause

quasi-prenex disjunctive kernel normal form function【数】

quasi-disjunctive equality matrix【数】

prenex disjunctive normal form【数】

disjunctive concept