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

离散PV(Q^R)→(P^Q^R)的合取范式

题目详情
离散PV(Q^R)→(P^Q^R)的合取范式
▼优质解答
答案和解析
=!(Pv(Q^R))v(P^Q^R)
=![!(Pv(Q^R))v(P^Q^R)] (双重否定)
=![(Pv(Q^R))^!(P^Q^R)]
=![P^!(P^Q^R)v(Q^R)^!(P^Q^R)] (分配率)
=![P^(!Pv!Qv!R)v(Q^R)^(!Pv!Qv!R)]
=![(P^!PvP^!QvP^!R)vQ^(R^!PvR^!QvR^!R)] (分配率)
=![P^!QvP^!RvQ^R^!P] (消去了P^!P,Q^R^!R,Q^!Q^R,因为它们都为空)
=!(P^!Q)^!(P^!R)^!(Q^R^!P)
=(!PvQ)^(!PvR)^(!Qv!RvP)