题目内容

证明: (y)(Q(y)→(B(y)∧C(y)))∧(y)(Q(y)∧D(y))→(y)(D(y)∧C(y))

查看答案
更多问题

什么是完备的归结控制策略?有哪些归结控制策略是完备的?

设有下列事实性知识: 张晓辉是一名计算机系的学生,但他不喜欢编程序。 李晓鹏比他父亲长得高。 试用谓词公式表示这些知识。

枪弹上膛。(打一成语)

甲类放大电路是指放大管的导通角等于________,在乙类放大电路中,放大管导通角等于________,在甲乙类放大电路中,放大管导通角为________。

答案查题题库