x∧z∧(x⇒y)

$$x \wedge z \wedge \left(x \Rightarrow y\right)$$