На логику!!!!!!!!!!!!!!!!!

4)

Пошаговое объяснение:

¬A ≡ не A (A с черточкой сверху)

¬A ∨ (B ∧ 1) ≡ ¬A ∨ B ≡ A → B (последнее тождество проверяется совпадением таблиц истинности)