Question

Упростить множества, расписав пошагово

Answer 1

[¬(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

( формулы в приложении)