20/10/20 09:57:52.13 8/QyytZ/.net
>>341
A:「(シリツ医 かつ 馬鹿) ならば 裏口 である」
E:「シリツ医 ならば (馬鹿 ならば 裏口 である)」
が同値なのを真偽表確認
シリツ医 馬鹿 裏口 A⇒E E⇒A
1 TRUE TRUE TRUE TRUE TRUE
2 FALSE TRUE TRUE TRUE TRUE
3 TRUE FALSE TRUE TRUE TRUE
4 FALSE FALSE TRUE TRUE TRUE
5 TRUE TRUE FALSE TRUE TRUE
6 FALSE TRUE FALSE TRUE TRUE
7 TRUE FALSE FALSE TRUE TRUE
8 FALSE FALSE FALSE TRUE TRUE