下列公式()与命题公式A→(B→A)逻辑等价。
A: A→(¬B∨A)
B: ¬A→(A→¬B)
C: ¬A∨(¬B∨A)
D: (B∧A)→A
A: A→(¬B∨A)
B: ¬A→(A→¬B)
C: ¬A∨(¬B∨A)
D: (B∧A)→A
A,B,C,D
举一反三
- 与命题公式A→B等价的公式有()。 A: ¬A∨B B: ¬B→¬A C: ¬(A∧¬B) D: (¬A∨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 C: P∧Q D: ¬P∧Q
内容
- 0
命题公式p→q的主合取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)
- 1
命题公式p→q的主析取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)
- 2
命题公式p→q的主析取范式是() A: ¬p∨q B: p∨q C: (¬p∧¬q)∨(¬p∧q)∨(p∧q) D: (¬p∧¬q)∨(p∧¬q)∨(p∧q)
- 3
【多选题】下列命题公式哪些是析取范式? A. (¬p∧¬q)∨(q∧r) B. (p∨¬q)∧(¬p∨q) C. (¬p∧¬r)∨q D. (p∨q)∧¬q E. ¬p∨q F. ¬p∧¬q∧¬r G. ¬p, q, 1, 0
- 4
下面公式是合取范式的有() A: ¬p B: p∨¬q∨ C: ¬(p∧¬q)∨ D: (p∨¬r)∧(¬q∨r)∧(¬p∨q∨r)