>>874
えーそれおかしいよ。

A B
---
F F = F
T F = T
F T = T
T T = T
---

だから F Fの時は証明出来ないじゃん。先生に2chで反例が
あるよって言われたって文句いいに行ったほうがいいよ。