Преобразовать формулу в конъюнктивную нормальную форму

07.05.2012, 21:21. **Показов** 1638. **Ответов** 2

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

Задание: Преобразовать формулу в конъюнктивную нормальную форму.
Дано: ¬A&((¬C→D)& ¬F)
Мое решение:
По формуле (A→B) ↔ ( ¬AvB), получил следующее:
¬A&(CvD)& ¬F
Далее, если объединить ¬A и ¬F в одну скобку, получим:
(¬A&¬F)&(CvD).
Если знак отрицания вынести за скобку, то:
¬(AvF) &(CvD), т.к. (¬A&¬F) ↔¬(AvF).
Но это не КНФ, т.к. знак отрицания стоит перед скобкой. Нужна помощь =(

@KaiTheCat · 08.05.2012, 10:52

вот же кнф: ¬A&¬F&(CvD)

08.05.2012, 19:41

Препод сегодня так и сказал. Все равно, спасибо Вам)

Bob43
		1
	Преобразовать формулу в конъюнктивную нормальную форму 07.05.2012, 21:21. Показов 1638. Ответов 2 Метки нет (Все метки) Задание: Преобразовать формулу в конъюнктивную нормальную форму. Дано: ¬A&((¬C→D)& ¬F) Мое решение: По формуле (A→B) ↔ ( ¬AvB), получил следующее: ¬A&(CvD)& ¬F Далее, если объединить ¬A и ¬F в одну скобку, получим: (¬A&¬F)&(CvD). Если знак отрицания вынести за скобку, то: ¬(AvF) &(CvD), т.к. (¬A&¬F) ↔¬(AvF). Но это не КНФ, т.к. знак отрицания стоит перед скобкой. Нужна помощь =(

@KaiTheCat К.О. 534 / 499 / 344 Регистрация: 26.03.2011 Сообщений: 1,141
	08.05.2012, 10:52	2
	вот же кнф: ¬A&¬F&(CvD) 1

Bob43
	08.05.2012, 19:41	3
	Препод сегодня так и сказал. Все равно, спасибо Вам)