多项选择题
合式公式常用的性质有（）
A.摩根定律 B.分配律 C.结合律 D.蕴涵式转化
多项选择题 基于规则的正向演绎系统的使用条件（）
多项选择题 关于极小极大搜索方法，下列说法正确的是（）
单项选择题 下面哪个不是图搜索方式的特点（）
