СКНФ И СДНФ (таблица истинности и осн.равносильности)

@Godsmack2007 · Регистрация: 08.11.2009

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

Под а) СКНФ - получилось правильно, а СДНФ - нет, как должно быть?
Под б) помогите постороить, а то никак не получается.

vetvet · 06.06.2011, 23:14

а) кто сказал, что СДНФ получмлась неправильной?
б) сначала преобразуйте импликацию: $https://www.cyberforum.ru/cgi-bin/latex.cgi?a\to b=\overline{a}\vee b$
а затем используйте дистрибутивность.

@Godsmack2007 · 06.06.2011, 23:39 **[ТС]**

vetvet, преподша сказала непрально у тебя, под б я так и делал, дак не понимаю что тут получается - у меня вот так выходит и ступор - беру сначала то что в скобках: Y -> XZ - получается
не Y v X vXZ. Дальше X->(не Y v X v XZ) - и дальше не получается - а должно же получится тоже самое что и под а)

Добавлено через 15 минут
точнее не так - не Y v X vXZ а вот так - не Y v X ^ Z. X->(не Y v X ^ Z)

@Godsmack2007 12 / 12 / 1 Регистрация: 08.11.2009 Сообщений: 111
		1
	СКНФ И СДНФ (таблица истинности и осн.равносильности) 06.06.2011, 23:03. Показов 4959. Ответов 2 Метки нет (Все метки) Под а) СКНФ - получилось правильно, а СДНФ - нет, как должно быть? Под б) помогите постороить, а то никак не получается. Миниатюры 0

vetvet Змеюка одышечная 9864 / 4595 / 178 Регистрация: 04.01.2011 Сообщений: 8,556
	06.06.2011, 23:14	2
	а) кто сказал, что СДНФ получмлась неправильной? б) сначала преобразуйте импликацию: $https://www.cyberforum.ru/cgi-bin/latex.cgi?a\to b=\overline{a}\vee b$ а затем используйте дистрибутивность. 0

@Godsmack2007 12 / 12 / 1 Регистрация: 08.11.2009 Сообщений: 111
	06.06.2011, 23:39 [ТС]	3
	vetvet, преподша сказала непрально у тебя, под б я так и делал, дак не понимаю что тут получается - у меня вот так выходит и ступор - беру сначала то что в скобках: Y -> XZ - получается не Y v X vXZ. Дальше X->(не Y v X v XZ) - и дальше не получается - а должно же получится тоже самое что и под а) Добавлено через 15 минут точнее не так - не Y v X vXZ а вот так - не Y v X ^ Z. X->(не Y v X ^ Z) 0