设AS 为文法的综合属性集, AI 为继承属性集, 则对于下面的属性文法G(P)定义中，AS和AI正确描述是 产生式 语义规则 P → xQR Q.b:=R.d R.c:=1 R.e:=Q.a Q → u Q.a:=3 R → v R.d:=R.c R.f:=R.e

液压泵的理论，实际流量和额定流量的关系是（）。 A: q>q>q B: q>q>q C: q>q>q D: q>q>q

下列非有效的推理形式有（）。 A: （p→q）∧P→q B: （q→q）∧q→p C: （p→q）∧q→q D: （q→q）∧q→p E: （p→q）∧q→p

(p → q) ∧ (¬p → q) 的逻辑等价形式有 A: F→ q B: T→ q C: q D: (¬p ∧ q) ∨ (p ∧ q) ∨q E: (¬p ∧ q) ∨q

已知命题公式:﹁(Q ∨(P ∧ Q)), 求它的对偶式 A: ﹁(Q ∨(P ∧ Q)) B: ﹁(Q ∧(P ∨Q)) C: ﹁Q ∨(P ∧ Q) D: ﹁Q ∧(P ∨ Q)

设个体域为A={a,b},消去公式"x$y(P(x)→Q(y))中的量词为 A: （¬P(a)ÚQ(a)ÚQ(b)）Ù（¬P(b)ÚQ(a)ÚQ(b)） B: (P(a)ÚP(b)〕→(Q(a)ÚQ(b)) C: (P(a)ÙP(b)〕→(Q(a)ÚQ(b)) D: （¬P(a)ÚQ(a)）Ù（¬P(b)ÚQ(b)）

设个体域为A=｛a,b｝，消去公式∀x$y (P(x) ®Q(y) )中的量词为： A: （¬ P(a)νQ(a)νQ(b)）Λ（¬ P(b)νQ(a)νQ(b)） B: （P(a)∨P(b))® (Q(a)∨Q(b)) C: （P(a) Ù P(b))® (Q(a)∨Q(b)) D: （¬ P(a)νQ(a) ）Λ（¬ P(b) νQ(b)）

┐(P∨Q) ←→(P∧Q)的主析取范式是（ ） A: (Q∧┐P)∨(P∧＞Q) B: (┐P∧Q)∨(P∧┐Q) C: (Q∧P)∨(P∧┐Q) D: (┐P∨Q)∧(Q∧┐P)

【单选题】下面关于发酵罐热平衡方程正确的是() 。 A. （ A）Q 发酵 =Q 生物 +Q 搅拌 -Q 空气 +Q 辐射 B. （ B）Q 发酵 =Q 生物 +Q 搅拌 -Q 空气 -Q 辐射 C. （ C）Q 发酵 =Q 生物 -Q 搅拌 +Q 空气 +Q 辐射 D. （ D）Q 发酵 =Q 生物 +Q 搅拌 +Q空气-Q辐射

定量泵最大输出流量Q泵与其额定流量Q额间的关系为（）。 A: Q>Q B: Q C: Q＝Q D: Q≤Q