与表达式x∧=y-2等价的形式是?