Как будет выглядеть логическое выражение (y→z)∨(x&y)∨ y∨¬y, если его упростить, применив законы исключения третьего и работы с константами?