下列哪个等值式是“假言易位”:
A→B <=> ¬A∨B
B. A↔B <=> A→B ∧ B→A
C. A→B <=> ¬B→¬A
D. A↔B <=> ¬A↔¬B
下列公式中,相互等值的是:
A→(B→C) 和 (A→B)→C
B. A→(B→C) 和 (A∧B)→C
C. A→(B→C) 和 (A∨B)→C
D. A→(B→C) 和 ¬(A∧B)→C
下列公式中,即可称为合取范式,又可称为析取范式的是:
A. ¬a∨¬b
B. a∧(¬b∨c)
C. (a∨¬b)∧c
D. (¬a∧b)∧(a∨¬b)
已知含p、q和r三个变项的公式A和公式B,公式A的主析取范式为m1∨m3 , 公式B的主合取范式为M2∧M5∧M6,则下列说法正确的是:
A. 001和110是公式A的成真赋值
B. 001和011是公式A的成假赋值
C. 010、101和110是公式B的成假赋值
D. 010、011和101是公式B的成真赋值