По изображению можно предположить, что БС - это переменная, и требуется преобразовать логическое выражение БС → ̅X ∧ ̅Y.
БС → ̅X ∧ ̅Y эквивалентно ̅БС ∨ (̅X ∧ ̅Y)
Ответ: ̅БС ∨ (̅X ∧ ̅Y)