逆含意
ブール代数において、 p ← q は (A+B′) と等価である。