X(с палочкой вверху)+ z->(x+y(тож с палочкой)).

F = ¬X +Z⇒(X+¬Y)таблица истинности:X Y Z     X+¬Y   Z⇒(X+¬Y)    ¬X      F0  0  0      1             1                1       10  0  1       1            1                1       10  1  0       0            1                1       10  1  1       0            0                1       11  0  0      1             1                0       11  0  1       1            1                0       11 1   0       1            1                0       11  1  1      1             1                0       1F =1 тождественно истинна , так как её значения равны 1 при любых X,Y,Z