論理式の問題がわかりません

質問

最近、独学で論理式の勉強を始めました。

（（p⊃q）⊃￢r）⊃（ｒ⊃（￢ｐ∨￢q））

という恒真式かを確認する問題で躓いています。
真理表を書き、（）の中を先に求めるのはわかっています。
わからないのは、（）で書いた後の真理表というか、解き方です。

上記の問題で言えば、
（p⊃q）の真理表を書いた後（これをＡとする）、Ａ⊃￢rを確認、
後半部分も同様に（￢ｐ∨￢q）の真理表を書き（これをＢ）、ｒ⊃Ｂをして、
前半⊃後半をすればいいのだろうとは思います。

ただ、これの真理表がどんな感じになるのかがわからないのです。
（p⊃q）をＡとおく。などと書いて、Ａ⊃￢rの真理表を書き、これをＣとおく。
後半も同じ事をして、最終的にＣ⊃Ｅみたいな感じで書けばいいのですか？
それとも、ちゃんと（（p⊃q）⊃￢r）での書き方みたいなのがあるんでしょうか？

説明が下手でごめんなさい。
誰か教えて下さい。
また、解き方が違っていたら、教えてくれると嬉しいです。
よろしくお願いします。

回答No.1

hobbit-m · ベストアンサー

p, q, rの真偽すべての組み合わせ、つまり2^3=8とおりの場合について、真理値がひつようです。
　値をいきなりは大変でしょうから、横軸に８通り並べて、縦に部分に部分式の真偽を書いていけばいいはず。