当[img=90x24]180390d90e03a50.png[/img]，时Q和Q*的状态变化哪个是正确的（）[img=242x145]180390d918a855a.png[/img]
A: 01
B: 00
C: 10
D: 不定态
A: 01
B: 00
C: 10
D: 不定态
举一反三
- 下列的推理结构中哪个是正确的推理形式()。 未知类型：{'options': ['([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧ Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img]x)P(x) ∨([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x)∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img] x)Q(x)'], 'type': 102}
- 下列的推理结构中哪个是正确的推理形式()。 未知类型：{'options': ['([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∨Q(x)) → ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∧ ([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∨ Q(x)) → ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∨ ([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) → ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∧Q(x))', ' ([img=8x14]17e4385aa223929.jpg[/img]x)P(x) ∧([img=8x14]17e4385aa223929.jpg[/img]x)Q(x) → ([img=8x14]17e4385aa223929.jpg[/img]x)(P(x) ∧ Q(x))'], 'type': 102}
- 下列等值式中正确的是( )。 未知类型：{'options': ['( [img=8x14]17e4385a99bb660.jpg[/img]x)(P(x)→B) ≡ ([img=8x14]17e4385a99bb660.jpg[/img]x)P(x)→B', ' ( [img=8x14]17e4385aa223929.jpg[/img]x)(B→Q(x)) ≡B→([img=8x14]17e4385aa223929.jpg[/img]x)Q(x)', ' ( [img=8x14]17e4385aa223929.jpg[/img]x)(P(x)→B) ≡ ([img=8x14]17e4385aa223929.jpg[/img]x)P(x)→B', ' ( [img=8x14]17e4385aa223929.jpg[/img]x)(B→Q(x)) ≡B→ ([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x)'], 'type': 102}
- 公式（p[img=10x12]17da58ca5149efb.jpg[/img]q）[img=14x9]17da55be8bf714b.jpg[/img][img=10x11]17da588760fa5e4.jpg[/img]p的成真赋值 A: 00 B: 01 C: 10 D: 11
- 下列（ ）是谓词公式。 A: P(x) B: [img=12x14]180324c8744588e.png[/img]P(x) C: P(x)[img=18x11]180324c87c59fe1.png[/img]Q(x) D: P(x)+Q(x)[img=18x11]180324c884649c1.png[/img]R(x)