>>436
質問の意味がわからんのだが。
命題論理のA⇒Bの真理値表は、ほとんど定義だぜ？
そんな面倒な論理式を考えるまでもないことだ。

＞A⇒Bの真理値表の2箇所以外はそうなる意味が
何が「そうなる」んだ？