早教吧 育儿知识 作业答案 考试题库 百科 知识分享

用等值演算法求公式((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) 左边
看了 用等值演算法求公式((pVq...的网友还看了以下: