此题为判断题(对,错)。
第1题:
答案:真值表是含n(n1) 命题变项的命题公式,共有2n组赋值将命题公式A在所有复制赋值之下取值的情况列成表,称为A的真值表。( P^Q ) ^ ( -pV-Q ) ^ 表示“与”,“且”,也可以表示点乘号V表示“或”,也可以表示“+”表示“非”,也可以表示为变量上面加一横在此逻辑表达式中基本逻辑变量为P,Q其含义为P、Q、(非P+非Q)相与。
第2题:
3、给定如下三个公式: (1)(P→Q)→(┐Q→┐P) (2) ┐(P→Q)∧R∧Q (3)(P→Q)∧┐P (i) 用等值演算法来判断上述公式的类型。 (ii) 用主析取范式法判断上面公式的类型,并求公式的成真赋值。 (iii) 求上面3个公式的主合取范式,并求公式的成假赋值。
第3题:
求命题公式(q→r)→p的析取范式和合取范式。
第4题:
第5题:
命题公式的主析取范式为
A.命题公式的所有极大项的合取式
B.命题公式的所有极小项的合取式
C.命题公式的所有极大项的析取式
D.命题公式的所有极小项的析取式