设个体域D={0 , 1}，则与公式∀xF(x)等价的命题公式是（ ）。
A: A(0)∨A(1)
B: A(0)∧A(1)
C: A(0)→A(1)
D: A(1)→A(0)
A: A(0)∨A(1)
B: A(0)∧A(1)
C: A(0)→A(1)
D: A(1)→A(0)
举一反三
- 设A为任意命题公式,则有 AÙ1Û1, AÚ0Û0
- 设命题公式G:（￢P）→（￢Q∧R），则使公式G取真值为T（或1）的P、Q、R赋值分别使（）。 A: 0、1、0 B: 0、1、1 C: 1、1、0
- 设个体域D={a,b},使谓词公式xP(x)的真值为1的谓词P满足()。 A: P(a)=0，P(b)=0 B: P(a)=0，P(b)=1 C: P(a)=1，P(b)=0 D: P(a)=1，P(b)=1
- 能够使公式PÙ (ØQÚØR)为真的赋值有( )。 A: (0, 0, 1), (1, 0, 0) B: (1, 0, 1), (1, 1, 0) C: (1, 0, 0), (1, 0, 1) D: (1, 0, 1), (1, 1, 1)
- 下述正规表达式中（ ）与(0*|1)*(+|-)等价 A: 0*(+|-)|1(+|-) B: 0*(+|-)*|1(+|-)* C: 0*(+|-)|1*(+|-) D: (0|1)*+|(0|1)*-