Question

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

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

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

Answer 1

1) (x /\ y) \/ (¬x /\ ¬y)
2) y∧(¬x)∧(¬z)