>>226
A⇒Bと¬A∨Bが同じなのはおk?
というかこれが⇒の定義なんだけど。