Упростить выражения, используя известные свойства операций и законы математической логики:

1) ( x→ y )∧( y→ x )

2) ( x∧¬ y∧z∨¬x∧¬z )∧ y .