КНФ,СДНФ,СКНФ

@Глория · Регистрация: 07.04.2011

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

1.Докажите,что формула(не х -> не y)<->(x->y) является тавтологией

2. Найти СДНФ и СКНФ формулы
(x->y исключающее или(плюс в кружке) z|не y)->xy

Это очень плохо понимаю,если можно объясните пожалуйста(
помогите,пожалуйста,очень срочно(

@Ellipsoid · 19.12.2013, 15:31

Сообщение от Глория

1.Докажите,что формула(не х -> не y)<->(x->y) является тавтологией

Данная формула не является тавтологией. Проверьте условие задачи.

@Глория 2 / 2 / 1 Регистрация: 07.04.2011 Сообщений: 143
		1
	КНФ,СДНФ,СКНФ 18.12.2013, 22:34. Показов 660. Ответов 1 Метки нет (Все метки) 1.Докажите,что формула(не х -> не y)<->(x->y) является тавтологией 2. Найти СДНФ и СКНФ формулы (x->y исключающее или(плюс в кружке) z\|не y)->xy Это очень плохо понимаю,если можно объясните пожалуйста( помогите,пожалуйста,очень срочно( 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	19.12.2013, 15:31	2
	Сообщение от Глория 1.Докажите,что формула(не х -> не y)<->(x->y) является тавтологией Данная формула не является тавтологией. Проверьте условие задачи. 0

Опции темы