X(с палочкой вверху)+ z->(x+y(тож с палочкой)).
Что с этим делать?
Построить таблицу истиности
есть куча онлайн построителей таблиц истиности
F = ¬X +Z⇒(X+¬Y) таблица истинности: X Y Z X+¬Y Z⇒(X+¬Y) ¬X F 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 0 1 F =1 тождественно истинна , так как её значения равны 1 при любых X,Y,Z