A → B が真 ⇔ Aが偽 または Bが真

ではないでしょうか?