Упростить выражения, используя известные свойства операций и законы математической логики: 1) ( x→ y )∧( y→ x )2) ( x∧¬ y∧z∨¬x∧¬z )∧ y .
1) (x /\ y) \/ (¬x /\ ¬y) 2) y∧(¬x)∧(¬z)
А можно с решением, пожалуйста?)))