[司法考试]习题.pptVIP

习题 主析取范式和主合取范式 试化下列公式为主析取范式和主合取范式，并判断各公式类型 (? P ∨? Q) ? (P ?? Q) 主析取范式和主合取范式 试化下列公式为主析取范式和主合取范式，并判断各公式类型 P∨(? P ? (Q ∨(? Q ?R))) 主析取范式和主合取范式 试化下列公式为主析取范式和主合取范式，并判断各公式类型 (P ? (Q∧R)) ∧ (? P ? (? Q ?R)) 主析取范式和主合取范式 试化下列公式为主析取范式和主合取范式，并判断各公式类型 ((P ∨ Q) ? R) ? P 主析取范式 真值表法： 例1.37：求 (P ? Q) ∧ Q 的主析取范式 主合取范式 真值表法： 例1.40：求 (P ? Q) ∧ Q 的主合取范式 主析取范式和主合取范式 分别用真值表法和公式法求(P?(Q∨R))∧(?P∨(Q?R))的主析取范式与主合取范式（10分） 命题逻辑 已知命题公式 A(P, Q, R)，并且知道只有当赋值为001、110和111时公式真值为假。求命题公式A(P, Q, R)的主析取范式为__________________。 命题逻辑的推理理论 符号化下述论断，并证明其有效性。 如果今天是周一，则进行离散数学或C语言其中一门考试 如果C语言老师有会，则不考C语言 今天是周一 C语言老师有会 所以：进行离散数学考试 命题逻辑的推理理