論理学教えてください。

質問

論理学なんですが
連言標準形にして恒真であるか否かを判定しなさい。
～（～q→～p）→（～q→p）
と
((p→q)＆p)→q

この二つを教えてください。
お願いします!!

回答No.1

muturajcp

～(～q→～p)→(～q→p)
={～(～[{～(～q)}Ｖ(～p)])}Ｖ[{～(～q)}Ｖp]
=(～[～{qＶ(～p)}])Ｖ(qＶp)
=qＶ(～p)Ｖp
=真

((p→q)&p)→q
=(～[{(～p)Ｖq}&p])Ｖq
={～(p&q)}Ｖq
=(～p)Ｖ(～q)Ｖq
=真