早教吧作业答案频道 -->数学-->
用等值演算法求公式((pVq)^(p->q))(q->p)的主析取范式与主合取范式
题目详情
用等值演算法求公式((pVq)^(p->q))(q->p)的主析取范式与主合取范式
▼优质解答
答案和解析
我们已知：p->q ┐pvq
左边 ┐（pq）
┐( (p->q ) ^ (q->p) )
┐( (┐pvq ) ^ (┐qvp) )
┐ (┐pvq ) v ┐ (┐qvp)
(p ^ ┐q ) v (q ^ ┐p)
右边 (p v q ) ^ (┐p v ┐ q)
(p ^ (┐p v ┐q)) v (q ^ (┐p v ┐ q))
(p ^ ┐q ) v (q ^ ┐p) 左边
左边 ┐（pq）
┐( (p->q ) ^ (q->p) )
┐( (┐pvq ) ^ (┐qvp) )
┐ (┐pvq ) v ┐ (┐qvp)
(p ^ ┐q ) v (q ^ ┐p)
右边 (p v q ) ^ (┐p v ┐ q)
(p ^ (┐p v ┐q)) v (q ^ (┐p v ┐ q))
(p ^ ┐q ) v (q ^ ┐p) 左边
看了 用等值演算法求公式((pVq...的网友还看了以下：
下列程序段的输出结果是B.int*p,*q,k=1,j=10;p=&j;q=&k;p=q;(*p) 2020-05-14 …
离散数学求公式的析取范式，合取范式，主合取范式公式：(¬P∨¬Q)→(P↔¬Q) 2020-06-12 …
离散数学问题P∨(┐P→(Q∨(┐Q→R)))P∨(┐P→(Q∨(┐Q→R)))求主分析取范式及主 2020-06-12 …
永真式（重言式）或永假式（矛盾式）有没有主析取范式和主合取范式?若有,该是什么呢?永真式的主合取范 2020-06-17 …
命题公式(PúQ)®Q为()A.矛盾式B.可满足式C.重言式D.合取范式1.命题公式(PÚQ)®Q 2020-07-18 …
（1）将3p%的硫酸与同体积的p%的硫酸混合得到q%的稀硫酸，则p、q的关系正确的是（填序号，下同 2020-07-29 …
设命题p和命题q，“p∨q”的否定是真命题，则必有（）A.p真q真B.p假q假C.p真q假D.p假 2020-08-01 …
一尺之棰，日取半截，万世不竭——初三物理我国古代思想家庄子曾经说过：“一尺之棰，日取半截，万世不竭。 2020-11-07 …
离散数学题求公式(p->┓q)->的主这取范式和主合取范式急!(p->┓q)->r的主这取范式和主合 2020-11-08 …
对于命题p和命题q，若p真q假，则命题p∧q和命题p∨q的真假为（）A．p∧q和p∨q都为真B．p∧ 2020-12-13 …