设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
AS={ Q.a, R.d, R.f } AI={ Q.b, R.c, R.e }
举一反三
- 命题公式(P∨Q)∧(P→R)∧(Q→R)的极大项有 A: P∨Q∨R B: P∨Q∨¬R C: P∨¬Q∨R D: P∨¬Q∨¬R E: ¬P∨Q∨R F: ¬P∨Q∨¬R G: ¬P∨¬Q∨R
- 设AS 为文法的综合属性集, AI 为继承属性集, 则对于下... R.f:=R.e
- 设p为T(真),q为T,r为F(假),下列公式中哪些公式取值为T? A: qɅr B: ¬pɅ¬r C: p«¬q∨r D: q∨¬r→p E: (q→p)→((p→¬r)→(¬r→q))
- 命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)
- 求┐P∨(Q∧R) →(P∨Q) ∧┐R的对偶式 A: (P∧(┐Q∧┐R)) ∧((P∧Q)∨┐R) B: (P∨(┐Q∧┐R)) ∧((P∧Q)∨┐R) C: (P∧(┐Q∧┐R)) →((P∧Q)∨┐R) D: (P∨(┐Q∨┐R)) ∧((P∧Q)∨┐R)
内容
- 0
公式(p∨q)→r的主合取范式是( ) A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)
- 1
设p∧q真,r假,下列公式中取值为真的是() A: q∧r↔p B: (-p∧-r)∨-q C: q∨-r→p D: (q→p)→((p→-r)→(-r→-q))
- 2
下列命题公式中为重言式的是 Ⅰ.((p∨q)→r┌ →((p→r)∧(q→r)) Ⅱ.(p→(q∨r))→((p→q)∧(p→r)) Ⅲ.((p→q)∧(P→r))→((p→r) Ⅳ.((p∨q)∧(p→r))→(p→r) A: Ⅲ B: Ⅰ和Ⅲ C: Ⅰ和Ⅱ D: Ⅰ、Ⅱ、Ⅲ和Ⅳ
- 3
设P=sin2xdx,Q=cos2xdx,R=sin2xdx,则() A: P=Q=R B: P=Q<R C: P<Q<R D: P>Q>R
- 4
命题公式P®(QÙR)的对偶式为 A: P®(QÚR) B: PÚ (QÚR) C: ØPÚ (QÙR) D: ØPÙ (QÚR)