論理学について

質問

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

この二つを教えてください。
お願いします!!
補足
何度やっても出来なくて困っています...

回答No.2

Tacosan

「何度やっても出来なくて困っています」というのは
・どのようなものが出てくるのですか?
・何ができなくて困っているのですか?

確かに積和より和積の方が間違えやすいですね＞#1. 同じといえば同じだけど, 普通の式で和積って見ないからかなぁ.

回答No.1

alice_44

和積標準形でも、積和標準形でも、式変形の操作は変わりないのですが、
なぜか、和積標準形の導出では、計算ミスをしがちです。
恒真かどうかを判定するのなら、変数の個数が少ない場合は、
真理値表を書いてしまったほうが、遥かに簡単です。