Question

离散数学用等值演算法判断下列公式的类型。

求大神指导这题怎么做

Answer 1

原式 = ~（p或q）或（~q或~p）等价
~（p或q）或~(q与p)等价
~（(p或q)与（p与q））等价
~（p与q）等价
~p或~q等价
p推出~q
矛盾式

Answer 2

(┐p→q)→(q→┐p)
<==> ┐(p∨q)∨(┐q∨┐p)
<==> (┐p∧┐q)∨(┐q∨┐p)
<==> (┐p∨(┐q∨┐p))∧(┐q∨(┐q∨┐p))
<==> (┐p∨┐q)∧(┐q∨┐p)
<==> ┐p∨┐q

为非重言可满足式。