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

离散数学主析主合式的求解过程.希望会的人快点解答急用~~~谢谢啦.求P→[P∧(q→P)]的主析取范式.求[(p→r)∨q]∧(q→r)的主合取范式.

题目详情
离散数学 主析 主合式的求解过程.希望会的人快点解答 急用~~~谢谢啦.
求 P→[P∧(q→P)]的主析取范式.
求 [(p→r)∨q]∧(q→r)的主合取范式.
▼优质解答
答案和解析
P→[P∧(q→P)]=[P∧(q→P)]∨!P=(P∧(P∨!q))∨!P=(p∨!P)∧(P∨!q∨!P)=true
[(p→r)∨q]∧(q→r)=((r∨!p)∨q)∧(r∨!q)=(r∨!q)∧(!p∨r∨!q)∧(q∨r∨!q)
=r∨!q
!means not