Преобразуйте данную формулу равносильным образом так, чтобы она содержала только операции отрицания и конъюнкции
(X->Y)v(X->(Y^X));
(X->Y)^(X->(Y^X));
Ответы
Ответ дал:
0
(X->Y)v(X->(Y^X));
((не Х) v Y)v(не(X)v(X^Y))
не(X ^ не(Y))v(не(( X)^ не(X^Y))
НЕ(X^не(Y))^(X^ не(X^y))
Просто выучи законы де Моргана и закон исключения импликации)
незнаю правильно нет на компе как-то не удобно)
((не Х) v Y)v(не(X)v(X^Y))
не(X ^ не(Y))v(не(( X)^ не(X^Y))
НЕ(X^не(Y))^(X^ не(X^y))
Просто выучи законы де Моргана и закон исключения импликации)
незнаю правильно нет на компе как-то не удобно)
Ответ дал:
0
Вас заинтересует
1 год назад
6 лет назад
6 лет назад
8 лет назад
8 лет назад