单项选择题
找出句子对应得谓词表达式:()有些教练员是运动员(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 )的主析取范式及主合取范式为:()
单项选择题 p→(p ∧(q →p ))的主析取范式及主合取范式为:()
单项选择题 q ∧(p ∨¬q )的主析取范式及主合取范式为:()