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

Question

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

Answer 1

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