0928login:Penguin垢版 | 大砲2017/08/08(火) 02:32:29.25ID:sleFmywB A And Not Aは、AがtrueであってもAがfalseであってもfalseになる これを恒偽(矛盾)と言う trueを入れたらfalseになりましただから矛盾ですとはいえない パラメータが取りうる値をすべて入力してすべてのケースでfalseになることを確認しなければいけない