Выяcните, существует ли функция f такая, что данное высказывание тождественно истинно: (f^z)+(¬f+¬y+¬z)

1. Можно построить таблицу истинности для 3-х переменных,
это 2³ = 8 строк. Таблица во вложении.

2. А можно попробовать упростить  выражение:
(F*Z)+(not F+not Y+not Z) =
not F+Z+not Y+not Z =
not F +1 +not Y =
1+ not Y =
1
Значит для любых значений логических переменных F,Y,Z высказывание истинно.
ответ: существует.