求┐(pV┐q)∧(s→r)合取范式和主合取范式
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/06 20:58:29
![求┐(pV┐q)∧(s→r)合取范式和主合取范式](/uploads/image/z/9670958-62-8.jpg?t=%E6%B1%82%E2%94%90%28pV%E2%94%90q%29%E2%88%A7%28s%E2%86%92r%29%E5%90%88%E5%8F%96%E8%8C%83%E5%BC%8F%E5%92%8C%E4%B8%BB%E5%90%88%E5%8F%96%E8%8C%83%E5%BC%8F)
xTn@K*@""~(\~M0&MZTmA/t Kڗz3gfX*rrkrfWMh:T MJ
$#3ϟmB/^b*{f'M$yQfj9-{K3ɷ[zZ}a]k"٤R)Ҡ'6ʖ=ri@&]d+$.)2@+^{W (""mO}xhY^'
@#A 8c3ֽSCdk
rPh&I➀SJnΠ4hm@5
4[ (^Ei_3^s~%@vx>bJ`AmGE2)zTf]9zVq'jV5Obn58҆v1>-~>=~DPz=A@
7ܢ7l#vߌϚ6Z?i
rbh"Ө*Q`L,
y$¯
XvbZ Qub%?sZfo2 *3
求┐(pV┐q)∧(s→r)合取范式和主合取范式
求┐(pV┐q)∧(s→r)合取范式和主合取范式
求┐(pV┐q)∧(s→r)合取范式和主合取范式
┐(pV┐q)∧(s→r)
⇔┐p∧q∧(┐sVr) (合取范式)
现对每个合取项构成保证形式,如┐p,要把q,s,r全部添进去.
主合取范式一共有12项
(1)R P(添加前提)
(2)┐RVP P
(3)P T,(1),(2)
(4)P→(Q→S) P
(5)(Q→S) T,(3),(4),
(6)Q P
(7)S T,(5),(6)
(8)R→S CP,(1),(7)
其中,第3步的T用到了公式:┐A∧(A∨B) => B
第5步和第7步的T用到了公式:A∧(A→B) =>...
全部展开
(1)R P(添加前提)
(2)┐RVP P
(3)P T,(1),(2)
(4)P→(Q→S) P
(5)(Q→S) T,(3),(4),
(6)Q P
(7)S T,(5),(6)
(8)R→S CP,(1),(7)
其中,第3步的T用到了公式:┐A∧(A∨B) => B
第5步和第7步的T用到了公式:A∧(A→B) => B
P:前提引入规则(P规则):引入已知前提
T:结论引入规则(T规则):证明过程中的某些先前步骤,通过公式(基本等值式or基本蕴藏式)变换出的新公式 可引入
CP:CP规则:如果由B和一组前提推出C,则仅由这组前提可推出B→C
如本题,第1步至第7步,由R和给出的已知前提推出S,则说明这组前提能推出B→C
收起
求┐(pV┐q)∧(s→r)合取范式和主合取范式
P→Q∧R的合取范式和主析取范式?
把下列公式化成合取范式((P∧Q)∧((P→R)∧(Q→S)))→(S∧R)注意是合取范式,不是主合取范式
P→((Q→P)∧(┐P∧Q))主析取范式和主合取范式PV(Q∧R)→(P∧Q∧R)主析取范式
离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r-
离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
【离散数学】析取范式和合取范式怎么转化?(P∧Q)∨(┐P∧Q)∨(┐Q∧P) 怎么转成合取范式呢?
离散数学,主析取范式与主合取范式.谢谢了.求┐(P∧Q)→R的主析取范式与主合取范式.
主析取范式主合取范式成真赋值成假赋值(pv(q∧r))→(p∧qVr)求此命题公式的主析取范式,主合取范式,成真赋值,成假赋值.等值演算步骤的那种
求下列公式的主析取和主合取范式,(p∧┐q)∨(q∧r)
为什么┐p∨q可以看成合取范式?
一道离散数学题目求主合、析取范式求合式((p->q)∧┒(q->┒p))的主合、析取范式
┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,
求公式(p→q)∨┐(q∨r)的主析取范式和主合取范式,判断类型,求10.30前答复
求P→Q∨R的析取范式、主析取范式、主合取范式我求的是:P→Q∨R的析取范式、主析取范式、主合取范式,
求离散数学(P→ Q)→ R主合取范式和主析取范式
求命题公式(P∧Q)∨R的主析取范式和主合取范式