Упростить выражения: ¬x ➡ (x➡y) (x /\ ¬x v y) ↔(x v y)

Question

Упростить выражения:
¬x ➡ (x➡y)
(x /\ ¬x v y) ↔(x v y)

Answer 1

Любое у_прощение рано или поздно затребует новое у_прощение, ибо стремится к идеалу, а это есть совершенство=возможности 4-ого измерения=единая бесконечность!