01单选题medium
命题公式 G=Q∧(P∧¬Q) 的主合取范式中包含几个极大项？
#历年真题#命题逻辑#主合取范式#极大项
Question Bank
命题逻辑练习
命题公式、真值表、蕴涵等价、主析取范式与主合取范式。 共 12 题，其中判断题 8 题，单选题 2 题，简答题 2 题。
返回章节
判断题 8单选题 2简答题 2
02判断题medium
命题公式 (P∧(¬P→Q))→Q 是恒真公式。
#历年真题#命题逻辑#恒真式#真值表
03判断题medium
命题公式 (¬P∨Q)∧(P→Q) 是恒假公式。
#历年真题#命题逻辑#恒假式#等价公式
04判断题easy
公式 G、H 等价的充要条件是 G↔H 为恒真式。
#历年真题#命题逻辑#公式等价#恒真式
05判断题medium
对于 n(n>1) 个命题变元的极大项，仅有一个解释能满足该极大项。
#历年真题#命题逻辑#极大项#解释
06判断题medium
¬(P∨(¬P∧Q)) 与 ¬P∨¬Q 等价。
#历年真题#命题逻辑#等价公式#De Morgan 律
07判断题medium
命题公式 ((P→Q)→Q) 与 (¬P∨Q) 等价。
#历年真题#命题逻辑#蕴涵#等价公式
08判断题easy
(P∧¬Q)∨(P∧Q)=P 成立。
#历年真题#命题逻辑#等价公式#吸收化简
09简答题medium
简述如何由真值表写出命题公式的主析取范式和主合取范式。
简答题提交后展示参考答案和解析，暂不自动评分。
#命题逻辑#简答题#真值表#主析取范式#主合取范式
10判断题easy
命题公式 P∧¬P 是恒假公式。
#期末真题#命题逻辑#恒假式
11单选题easy
含有 3 个命题变元的主析取范式中，极小项总数最多为
#期末真题#命题逻辑#主析取范式#极小项
12简答题easy
写出 P→Q 的等价析取式。
简答题提交后展示参考答案和解析，暂不自动评分。
#期末真题#命题逻辑#蕴涵#等价公式