нужно доказать равносильность, методом мак-
(x ↔ y) ↔ ((x → y) /\ (y → x))

Позволит учиться лучше и быстрее. Неограниченный доступ к базе и ответам от экспертов и ai-bota Оформи подписку