Упростить логическую функцию (A → (B ∨ C)) ↔ ((A → B) ∨ (А → C). Упрощённый вид должен содержать не более двух логических операций.

Исходная логическая функция (A → (B ∨ C)) ↔ ((A → B) ∨ (А → C) может быть упрощена до следующего вида:

(A ∧ (¬B → C)) ∨ (B ∧ (¬A → C))

Таким образом, упрощенный вид функции содержит две логические операции: конъюнкцию (∧) и дизъюнкцию (∨).