Формализуйте, укажите приоритет логических операций, постройте таблицу истинности, укажите, к какому классу формул алгебры высказываний относится: «Если философ — дуалист, то он не материалист, но если он не материалист, то он диалектик». Используйте синтаксис Х, Y, Z, H для обозначения логических переменных, а для логических операций символы: ᄀ , ⋀ , ⋁ , → , ↔️ .