Логическую функцию (используя равносильности логики)
f∧(x∧y)≡¬¬x∧¬x∨¬y∨x

Объяснение:

f∧(x∧y)≡¬¬x∧¬x∨¬y∨x

Перепишем в более привычные обозначения

f*(xy) ≡ ¬(¬x) ¬x + ¬y + x

fxy ≡ 0 + ¬y + x

fxy ≡ x + ¬y

(¬(fxy) * ¬(x + ¬y)  + (fxy * (x + ¬y))

(¬(fxy) * (¬x * y)) + (fxxy + fxy¬y))

¬(fxy)¬xy) + (fxy + 0)

¬xy(¬f + ¬x + ¬y) + fxy

¬f¬xy + ¬x¬xy +¬xy¬y + fxy

¬f¬xy + ¬xy + 0 + fxy

¬f¬xy + ¬xy + fxy

¬xy(¬f +1) + fxy

¬xy + fxy

y(¬x + fx)

y(¬x + f)

¬xy + fy

Или, в исходной записи

¬x∧y∨f∧y