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

P->((P->Q)^┐(┐Qv┐P))求主析取范式.

题目详情
▼优质解答
答案和解析
     P→((P→Q)∧┐(┐Q∨┐P ))
   ┐P∨((┐P∨Q)∧(┐┐Q∧┐┐P ))
   (┐P∨(┐P∨Q))∧(┐P∨(Q∧P ))
   (┐P∨Q)∧(┐P∨Q)∧1
   (┐P∨Q)
   M2 (主合取范式)
   m0∨m1∨m3 (主析取范式)