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