Question

离散数学 主析 主合式的求解过程.希望会的人快点解答 急用~~~谢谢啦.

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