(¬y)⇔(x∨y)

$$\neg y ⇔ \left(x \vee y\right)$$