Выбери верный ответ

Определи, какое выражение является тождественно истинным.

• \((y \rarr x \And \overline{x}) \rarr \overline{x}\)
• \((y \rarr x \And \overline{x}) \rarr x\)
• \((y \rarr x \And \overline{x}) \rarr y\)
• \((y \rarr x \And \overline{x}) \rarr \overline{y}\)