单项选择题
找出句子对应得谓词表达式：（）有些教练员是运动员（J（x）：x是教练员，L（x）：x是运动员）
A.∀x（J（x）→L（x））B.∀x（J（x）∧L（x））C.∃x（J（x）→L（x））D.∃x（J（x）∧L（x））
（q→p）∧（¬p∧q ）的主析取范式及主合取范式为：（）A.主析取范式为空，M0∧M1∧M2∧M3B.m0∨...
单项选择题（q→p）∧（¬p∧q ）的主析取范式及主合取范式为：（）
A.主析取范式为空，M0∧M1∧M2∧M3B.m0∨m1∨m2∨m3，主合取范式为空C.m0∨m1∨m2，M0D.m0，M1∧M2∧M3
p→（p ∧（q →p ））的主析取范式及主合取范式为：（）A.m0∨m1∨m2，M3B.m2∨m3，M0∧M...
单项选择题p→（p ∧（q →p ））的主析取范式及主合取范式为：（）
A.m0∨m1∨m2，M3B.m2∨m3，M0∧M1C.m0∨m1∨m2∨m3，主合取范式为空D.主析取范式为空，M0∧M1∧M2∧M3
q ∧（p ∨¬q ）的主析取范式及主合取范式为：（）A.m3，M0∧M1∧M2B.m2，M0∧M1∧M3C....
单项选择题q ∧（p ∨¬q ）的主析取范式及主合取范式为：（）
A.m3，M0∧M1∧M2B.m2，M0∧M1∧M3C.m2∨m3，M0∧M1D.m1∨m2，M0∧M3
