题目内容

下列哪个等值式是“假言易位”：

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)

A. 001和110是公式A的成真赋值
B. 001和011是公式A的成假赋值
C. 010、101和110是公式B的成假赋值
D. 010、011和101是公式B的成真赋值

A为重言式当且仅当A的主合取范式不含任何极大项
B. A为矛盾式当且仅当A的主析取范式不含任何极小项
C. A为重言式当且仅当A的主析取范式含全部 2n个极小项
D. A为矛盾式当且仅当A的主合析取范式为0