ＡＢ　¬Ａ　Ａ∨Ｂ　Ａ∧Ｂ　Ａ→Ｂ　Ａ⇔Ｂ
１１　　０　　１　　　１　　　１　　　１
１０　　０　　１　　　０　　　０　　　０
０１　　１　　１　　　０　　　１　　　０
００　　１　　０　　　０　　　１　　　１

論理式が恒真であることを表から確認

１次の文を否定する
彼も彼女も英語を話さない

２→を使用しないで表す
雨が降らなければ遠足に行く

３→を使用しないで否定
雨がふらなければ遠足に行く