Объяснение:
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
