Убедиться, является ли данная формула ДНФ, КНФ, СДНФ или СКНФ

@Анна111 · Регистрация: 20.10.2015

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

Убедиться, является ли данная формула ДНФ, КНФ, СДНФ или СКНФ: (A(над А отрицание)vD)^(AvB(над В отрицание)vC)^D(над D отрицание)

@3D Homer · 01.12.2015, 22:54

$https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{A}\vee D)\wedge(A\vee\bar{B}\vee C)\wedge\bar{D}$

Вы задаете неправильный вопрос. Нужно спрашивать, где найти определение и примеры ДНФ, КНФ, СДНФ и СКНФ. Если я не прав, то какой ваш вопрос на самом деле?

@Анна111 · 01.12.2015, 23:06 **[ТС]**

нет вопрос именно так звучит.

@3D Homer · 01.12.2015, 23:15

Я понимаю, что вопрос, который задают вам, звучит так. Но причина, по которой вы на него не можете ответить, в другом. Если вы знаете, какая операция в вычислении (1 + 2) * ((3 - 4) * 5) выполняется последней (то есть умеете читать выражения со скобками и двуместными операциями) и умеете отличать $https://www.cyberforum.ru/cgi-bin/latex.cgi?\wedge$ от $https://www.cyberforum.ru/cgi-bin/latex.cgi?\vee$ , то вы просто не сможете не ответить на заданный вопрос. Единственная загвоздка, которую может возникнуть и которую я вижу, — это знание, что такое КНФ и т.д. Без этого знания, разумеется, нельзя определить тип формулы. Если же вы действительно знаете, что означают эти типы формул и сложность состоит в чем-то другом, опишите ее, пожалуйста. Мне будет очень интересно узнать, с какими трудностями сталкивается человек, изучающий эту область.

@Анна111 · 01.12.2015, 23:24 **[ТС]**

Мне просто нужен ответ на мой вопрос и всё! Если вы не знаете или не хотите помочь то и писать не стоило.

Добавлено через 1 минуту
а ответ должен быть такого вида: Данная формула является КНФ (конъюнкция элементарных дизъюнкций), но не СКНФ, так как элементарные дизъюнкции не являются полными.

@3D Homer · 01.12.2015, 23:27

Ответ правильный. И что вам в нем непонятно?

Сообщение от Анна111

Мне просто нужен ответ на мой вопрос и всё! Если вы не знаете или не хотите помочь то и писать не стоило.

Вам тоже не стоит стремиться получить просто ответ, а не знания, которые позволяют к нему прийти.

@Анна111 · 01.12.2015, 23:29 **[ТС]**

Благодарю вас за ответ!

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@Анна111 0 / 0 / 0 Регистрация: 20.10.2015 Сообщений: 14

	Убедиться, является ли данная формула ДНФ, КНФ, СДНФ или СКНФ 01.12.2015, 22:25. Показов 2480. Ответов 6 Метки нет (Все метки) Убедиться, является ли данная формула ДНФ, КНФ, СДНФ или СКНФ: (A(над А отрицание)vD)^(AvB(над В отрицание)vC)^D(над D отрицание) 0

@3D Homer $Эксперт по математике/физике$ 5016 / 3628 / 1164 Регистрация: 01.09.2014 Сообщений: 9,790
	01.12.2015, 22:54
	Сообщение было отмечено tezaurismosis как решение Решение $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{A}\vee D)\wedge(A\vee\bar{B}\vee C)\wedge\bar{D}$ Вы задаете неправильный вопрос. Нужно спрашивать, где найти определение и примеры ДНФ, КНФ, СДНФ и СКНФ. Если я не прав, то какой ваш вопрос на самом деле? 0

@Анна111 0 / 0 / 0 Регистрация: 20.10.2015 Сообщений: 14
	01.12.2015, 23:06 [ТС]
	нет вопрос именно так звучит. 0

@3D Homer $Эксперт по математике/физике$ 5016 / 3628 / 1164 Регистрация: 01.09.2014 Сообщений: 9,790
	01.12.2015, 23:15
	Я понимаю, что вопрос, который задают вам, звучит так. Но причина, по которой вы на него не можете ответить, в другом. Если вы знаете, какая операция в вычислении (1 + 2) * ((3 - 4) * 5) выполняется последней (то есть умеете читать выражения со скобками и двуместными операциями) и умеете отличать $https://www.cyberforum.ru/cgi-bin/latex.cgi?\wedge$ от $https://www.cyberforum.ru/cgi-bin/latex.cgi?\vee$ , то вы просто не сможете не ответить на заданный вопрос. Единственная загвоздка, которую может возникнуть и которую я вижу, — это знание, что такое КНФ и т.д. Без этого знания, разумеется, нельзя определить тип формулы. Если же вы действительно знаете, что означают эти типы формул и сложность состоит в чем-то другом, опишите ее, пожалуйста. Мне будет очень интересно узнать, с какими трудностями сталкивается человек, изучающий эту область. 0

@Анна111 0 / 0 / 0 Регистрация: 20.10.2015 Сообщений: 14
	01.12.2015, 23:24 [ТС]
	Мне просто нужен ответ на мой вопрос и всё! Если вы не знаете или не хотите помочь то и писать не стоило. Добавлено через 1 минуту а ответ должен быть такого вида: Данная формула является КНФ (конъюнкция элементарных дизъюнкций), но не СКНФ, так как элементарные дизъюнкции не являются полными. 0

@Анна111 0 / 0 / 0 Регистрация: 20.10.2015 Сообщений: 14
	01.12.2015, 23:29 [ТС]
	Благодарю вас за ответ! 0

Убедиться, является ли данная формула ДНФ, КНФ, СДНФ или СКНФ

Решение