与命题公式A→B等价的公式有()。
A: ￢A∨B
B: ￢B→￢A
C: ￢（A∧￢B）
D: (￢A∨B)∧(￢A∨A)
A: ￢A∨B
B: ￢B→￢A
C: ￢（A∧￢B）
D: (￢A∨B)∧(￢A∨A)
举一反三
- 下列公式()与命题公式A→（B→A）逻辑等价。 A: A→（￢B∨A） B: ￢A→（A→￢B） C: ￢A∨（￢B∨A） D: （B∧A）→A
- （1.4）下列公式()与命题公式A→（B→A）等价。 A: A→（￢B∨A） B: ￢A→（A→￢B） C: ￢A∨（￢B∨A） D: （B∧A）→A
- 下列公式()与命题公式A→（B→A）等值。 A: A→（￢B∨A） B: ￢A→（A→￢B） C: ￢A∨（￢B∨A） D: （B∧A）→A
- 将语句“如果明天不下雨，我们就去郊游．”翻译成命题公式 A: ￢￢P∧Q B: ￢P∧￢Q C: ￢P→Q D: ￢P→￢Q
- 下面公式是合取范式的有（） A: ￢p B: p∨￢q∨ C: ￢(p∧￢q)∨ D: (p∨￢r)∧(￢q∨r)∧(￢p∨q∨r)