Найти минимальную ДНФ и СКНФ путем равносильных преобразований - Логика и множества

Мат. логика и множества

Форум программистов и сисадминов Киберфорум

Войти

Регистрация
Восстановить пароль

Рейтинг 4.63/8:

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

	Найти минимальную ДНФ и СКНФ путем равносильных преобразований 27.05.2014, 21:45. Показов 1589. Ответов 1 Метки нет (Все метки) Дана функция $https://www.cyberforum.ru/cgi-bin/latex.cgi?((\bar{X\cup Y})\rightarrow\bar{Z})\cup XYZ$ Помогите найти минимальную ДНФ и СКНФ данной функции путем равносильных преображений. Заранее спасибо. 0

Заказать работу у эксперта

cpp_developer

Эксперт

20123 / 5690 / 1417

Регистрация: 09.04.2010

Сообщений: 22,546

Блог

27.05.2014, 21:45

Ответы с готовыми решениями:

Для данной формулы булевой функции найти ДНФ, КНФ, СДНФ, СКНФ методом равносильных преобразований
Для данной формулы булевой функции 1.Найти ДНФ, КНФ, СДНФ, СКНФ методом равносильных ...

СКНФ путём равносильных преобразований
СДНФ у меня получилось найти довольно просто, а как СКНФ находить, понять не могу.

СКНФ и СДНФ путём равносильных преобразований
(!x!y)∨(x↔z)

@Mikl___ Ушел с форума 16355 / 7671 / 1078 Регистрация: 11.11.2010 Сообщений: 13,732
	28.05.2014, 05:38
	dedlife, $https://www.cyberforum.ru/cgi-bin/latex.cgi?((\bar{X + Y})\rightarrow\bar{Z})+ XYZ=X+Y+\bar{Z}+ XYZ=X(1+YZ)+Y+\bar{Z}=X+Y+\bar{Z}$ дальше сам/сама 0

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.

raxper

Эксперт

30234 / 6612 / 1498

Регистрация: 28.12.2010

Сообщений: 21,154

Блог

28.05.2014, 05:38

Помогаю со студенческими работами здесь

Найти СДНФ и СКНФ методом равносильных преобразований
Буду очень благодарен за помощь x*(x->y) (x->y)->(y->x)

Найти скнф и сднф способом равносильных преобразований
никак не получается сделать.пробовал находить кнф и днф,а дальше тупик \bar{x}\wedge (\bar{y\leftrightarrow z})

Упростите формулы, с помощью равносильных преобразований, найти СДНФ и СКНФ
Упростите формулы, с помощью равносильных преобразований, найти СДНФ и СКНФ

Привести к СДНФ и СКНФ с помощью равносильных преобразований
Необходимо привести к СДНФ и СКНФ с помощью равносильных преобразований: xyz ˅ x̅ y̅z̅

Методом равносильных преобразований привести к СДНФ и СКНФ
! - отрицание. !x1 \rightarrow (x2 \sim x3) Сначала нужно упростить же? !x1\rightarrow ((!x2\wedge !x3)\vee (x2\wedge x3))...

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:

Новые блоги и статьи Все статьи Все блоги /
TypeScript: Интерфейсы vs Типы run.dev 11.04.2025 Современная разработка на JavaScript сталкивается с множеством проблем при масштабировании проектов. Типизация кода стала хорошим инструментом, помогающим избежать ошибок во время выполнения,. . .	Управление топиками и разделами Kafka Javaican 11.04.2025 Apache Kafka — распределенная платформа потоковой передачи данных, которая стала стандартом для построения высоконагруженных систем обмена сообщениями. В современной архитектуре микросервисов,. . .	Миграция монолита в Event-Driven микросервисную архитектуру на C# stackOverflow 11.04.2025 Монолитная архитектура – классический подход к разработке программного обеспечения. Это приложение, построенное как единое целое, где все компоненты тесно связаны между собой. Большинство проектов. . .	Go в Kubernetes: Управление ресурсами golander 11.04.2025 Разработчики Go-приложений в Kubernetes часто сталкиваются с неожиданными проблемами производительности и даже внезапными отказами контейнеров. Причина этого кроется в особенностях взаимодействия. . .	Агрегаты и сущности в DDD микросервисах Javaican 10.04.2025 Разработка современных программных систем часто приводит на распутье: монолит или микросервисы? Даже при выборе микросервисной архитектуры многие команды сталкиваются с проблемой правильного. . .
Многопоточность в C#: Task и параллельное программирование UnmanagedCoder 10.04.2025 Современные процессоры уже давно перестали наращивать тактовую частоту в пользу увеличения количества ядер. Это создало интересную ситуацию: разработчики, привыкшие к последовательному. . .	Линейное решение нелинейной задачи с помощью арктангенса для метода обработки данных из double buffering. Hrethgir 10.04.2025 Публикация в доработке, метод арктангенса в комментариях внизу. Вообще изначально я пренебрёг квадратурой числа, но потом понял, что для вычисления приблизительного значения - сгодится, формулу. . .	Переменные в Python py-thonny 10.04.2025 Переменная в программировании — это символическое имя, связанное с областью памяти, в которой хранится значение. Она позволяет получать доступ к данным через понятные человеку идентификаторы, а не. . .	Многопоточность в C#: Task и асинхронные операции UnmanagedCoder 10.04.2025 Многопоточность позволяет выполнять несколько операций одновременно, что важно для решения двух основных задач: повышения скорости выполнения вычислительно-сложных операций и сохранения отзывчивости. . .	Запуск контейнеров Docker на ARM64 Mr. Docker 09.04.2025 Появление таких решений, как Apple M1/ M2, AWS Graviton, Ampere Altra и Raspberry Pi, сделало использование ARM-систем обыденностью для многих разработчиков и DevOps-инженеров. При этом Docker,. . .

Наверх