[tex]x\,\lor\,\overline{y} \rightarrow x \Leftrightarrow 1\,\lor\,\overline{1} \rightarrow 1 \Leftrightarrow1\,\lor\,(\overline{1} \rightarrow 1) \Leftrightarrow 1\,\lor (\overline{\overline{1}}\, \lor 1) \Leftrightarrow \\ \\ \Leftrightarrow 1\,\lor (1\, \lor 1) \Leftrightarrow 1\, \lor 1 \Leftrightarrow 1[/tex]