Question

Преобразуйте данную формулу равносильным образом так, чтобы она содержала только операции отрицания и конъюнкции

(X->Y)v(X->(Y^X));
(X->Y)^(X->(Y^X));

Answer 1

(X->Y)v(X->(Y^X));
((не Х) v Y)v(не(X)v(X^Y))
не(X ^ не(Y))v(не(( X)^ не(X^Y))
НЕ(X^не(Y))^(X^ не(X^y))
Просто выучи законы де Моргана и закон исключения  импликации)
незнаю правильно нет на компе как-то не удобно)

Answer 2

$1) (xto y)+(xto xy)=overline x+y+overline x+xy=overline x+y(1+x)= \ overline x+y=overline {xoverline y}=lnot(xlandlnot y) \ 2) (xto y)(xto xy)=(overline x+y)(overline x+xy)=overline x+0+overline xy+xy= \ overline x(1+y)+xy=overline x+xy=overline x+y=overline {xoverline y}=lnot(xlandlnot y)$