作业帮 > 数学 > 作业

把下列公式化成合取范式

来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/08/03 04:08:49
把下列公式化成合取范式
((P∧Q)∧((P→R)∧(Q→S)))→(S∧R)
注意是合取范式,不是主合取范式
把下列公式化成合取范式
合取范式更简单:
((P∧Q)∧((P→R)∧(Q→S)))→(S∧R)
┐((P∧Q)∧((┐P∨R)∧(┐Q∨S)))∨(S∧R)
(┐(P∧Q)∨┐((┐P∨R)∧(┐Q∨S)))∨(S∧R)
(┐P∨┐Q)∨(┐(┐P∨R)∨┐(┐Q∨S)))∨(S∧R)
(┐P∨┐Q)∨(P∧┐R)∨(Q┐∧S)∨(S∧R)
((┐P∨┐Q ∨P)∧(┐P∨┐Q ∨┐R))∨((Q┐∨R)∧S)
((┐Q∧(┐P∨┐Q ∨┐R))∨(Q┐∨R))∧ ((┐Q∧(┐P∨┐Q ∨┐R))∨ S)
((┐Q∨(Q┐∨R))∧((┐P∨┐Q ∨┐R)∨(Q┐∨R))∧((┐Q ∨S)∧(┐P∨┐Q∨┐R∨S))
(┐Q∨R)∧(┐P∨┐Q)∧(┐Q∨S)∧(┐P∨┐Q∨┐R∨S) (合取范式)