Равносильными преобразованиями привести к предваренной нормальной форме

@KatarinaR · Регистрация: 17.02.2015

Author24 — интернет-сервис помощи студентам

Равносильными преобразованиями привести к предваренной нормальной форме
$https://www.cyberforum.ru/cgi-bin/latex.cgi?(\exists x)(\exists y) P(x,y)\leftrightarrow (Q(x)\rightarrow R(y))$

@Ellipsoid · 17.12.2015, 16:11

Начните с переобозначения связанных кванторами переменных и выражения импликации и эквиваленции через отрицание, конъюнкцию и дизъюнкцию.

@KatarinaR 0 / 0 / 0 Регистрация: 17.02.2015 Сообщений: 99
		1
	Равносильными преобразованиями привести к предваренной нормальной форме 17.12.2015, 16:05. Показов 768. Ответов 1 Метки нет (Все метки) Равносильными преобразованиями привести к предваренной нормальной форме $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\exists x)(\exists y) P(x,y)\leftrightarrow (Q(x)\rightarrow R(y))$ 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	17.12.2015, 16:11	2
	Начните с переобозначения связанных кванторами переменных и выражения импликации и эквиваленции через отрицание, конъюнкцию и дизъюнкцию. 0