[¬(X∨(¬Y)∨Y]∧[¬X∨¬(Y∧¬X)/¬X]=
(где ¬Х= это "не Х")
раскроем первую скобку:
[¬(X∨¬Y)∨Y]=(¬X∧Y)∨Y=(¬X∨Y)∧(Y∨Y)=(¬X∨Y)∨Y=Y
раскроем вторую скобку
[¬X∨¬(Y∧¬X)/¬X]=¬X∨(¬Y∨X)/¬X=(¬X∨X∨¬Y)/¬X=(U∨¬Y)/¬X=U/¬X=U∧X=X
где U= единица
и тогда ответ
Y∧X
[¬(X∨(¬Y)∨Y]∧[¬X∨¬(Y∧¬X)/¬X]=Y∧X
( формулы в приложении)
