State/A OR B is logically equivalent to NOT A IMPLIES B

 =Proof= Below are the truth tables for $A \vee B$ and $(\neg A) \Rightarrow B$, computed using the truth tables for the boolean conjunctions OR and IMPLIES, as well as NOT.

Hence $A \vee B$ is logically equivalent to $\neg A \Rightarrow B$.