题目内容

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

查看答案

搜索结果不匹配？点我反馈

更多问题

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

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

枪弹上膛。(打一成语)

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