把下列公式化成合取范式
来源:学生作业帮 编辑:大师作文网作业帮 分类:数学作业 时间:2024/10/02 03:35:15
把下列公式化成合取范式
((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∧┐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) (合取范式)
((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) (合取范式)
离散数学怎样判断合取范式和析取范式?
命题公式(PÚQ)的合取范式是 ( ).
合取范式问题定义 一个命题公式称为合取范式仅当具有形式 :A1∧A2.An (n≥1)其中An 都是由命题变元或其否定组
求 P∧(P->Q)的合取范式!
为什么┐p∨q可以看成合取范式?
离散数学命题逻辑这一题中,由合取范式到化简后的合取范式,这一步是怎么来的?
合取范式,合取主范式的区别,最好有例子,简单易懂一点
求┐(pV┐q)∧(s→r)合取范式和主合取范式
P→Q∧R的合取范式和主析取范式?
离散数学括号内P析取Q析取R为什么不是合取范式
命题公式(PvQ)→R的析取范式是 ( )
求下列公式的主析取范式和主合取范式P∧Q