1 / 1 / 1
Регистрация: 23.01.2016
Сообщений: 153
1

Построение СКНФ и СДНФ

21.09.2016, 03:16. Показов 850. Ответов 0
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Тут просто созрел вопрос: СКНФ и СДНФ можно найти с помощью равносильных преобразований? Или только с помощью таблицы истинности?
Если можно с помощью равносильных, то будьте добры, поделитесь ссылкой где про это подробно рассказывают, заранее огромное спасибо!
(как строить с помощью таблицы истинности я знаю, а вот как с помощью преобразований - нет)

Добавлено через 5 минут
К примеру у меня есть КНФ и ДНФ, и из них нужно сделать СКНФ и СДНФ

Добавлено через 3 часа 3 минуты
Тему можно закрыть. Разобрался.
0
21.09.2016, 03:16
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
21.09.2016, 03:16
Ответы с готовыми решениями:

СДНФ и СКНФ
Помогите, пожалуйста, привести к СДНФ и СКНФ. ((X\wedge Z)\rightarrow Y)\rightarrow (\bar{Z}\vee \bar{Y}) (X\vee...

СКНФ, СДНФ
В то время когда проходили эту тему был в военкомате, найти днф сднф кнф скнф ( сделал ) , но не уверен что правильно + нужно ещё...

СКНФ и СДНФ
Помогите решить или хотя бы подскажите литературу ((a-d)\vee (a~d))-((b-c)\downarrow(b~c))=((b\rightarrow d)\wedge (a|b))\rightarrow...

0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
21.09.2016, 03:16
Помогаю со студенческими работами здесь

СДНФ СКНФ
Есть тест СДНФ - это: а) старшая дизъюнктивная нормальная форма; б) совершенная дизъюнктивная нормальная форма; в) сокращенная...

СДНФ и СКНФ
Помогите, пожалуйста, привести к СДНФ И СКНФ A(X\rightarrow Y\rightarrow \bar{A})\rightarrow XA (A\rightarrow B\bar{A})\rightarrow...

сднф и скнф
проверить двумя способами будут ли эквивалентны следующие формулы а) составлением таблиц истинности Б)приведением формул к СДНФ или СКНФ с...

СДНФ и СКНФ
помогите пожалуйста,не получается((( способ раскрытия: 1. отрицание 2. штрих Шеффера 3. стрелка Пирса 4. конъюнкция 5....

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


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

Или воспользуйтесь поиском по форуму:
1
Ответ Создать тему

Редактор формул (кликните на картинку в правом углу, чтобы закрыть)
Опции темы

Новые блоги и статьи
Микросервис с нуля на Go с Kafka
stackoverflow 12.02.2025
Когда я впервые столкнулся с необходимостью разделить монолитное приложение на микросервисы, передо мной встал вопрос выбора правильных технологий и подходов. После долгих экспериментов с различными. . .
Микросервис с нуля на C# с RabbitMQ
stackoverflow 12.02.2025
Переход от монолитной архитектуры к микросервисной - это не просто модное веяние, а закономерный этап эволюции программных систем. В отличие от монолита, где все компоненты тесно связаны между собой. . .
Docker для начинающих
stackoverflow 12.02.2025
В современном мире разработки программного обеспечения все чаще возникает необходимость быстро и надежно разворачивать приложения в различных средах. Разработчики постоянно сталкиваются с проблемой. . .
Создание бота для Телеграм на C#
stackoverflow 12.02.2025
В современном мире корпоративных коммуникаций Telegram-боты становятся незаменимым средством автоматизации бизнес-процессов и взаимодействия с сотрудниками. Как создать такого бота, который сможет. . .
Операторы сравнения (== и ===) в JavaScript
hw_wired 12.02.2025
JavaScript предоставляет два основных оператора сравнения - оператор нестрогого равенства (==) и оператор строгого равенства (===). На первый взгляд они могут показаться очень похожими, но их. . .
Определение адреса, откуда репозиторий Git был клонирован
hw_wired 12.02.2025
Система контроля версий Git хранит всю информацию о репозитории в специальной директории . git, включая данные об удаленных источниках. Эта информация необходима для синхронизации изменений между. . .
Объединение нескольких коммитов Git в один
hw_wired 12.02.2025
Представьте, что вы работаете над новой функциональностью и создали десяток небольших коммитов: исправление опечатки, форматирование кода, добавление комментариев, реализация основной логики. Каждый. . .
Как добавить локальную ветку в удалённый репозиторий Git
hw_wired 12.02.2025
Локальная ветка в Git - это изолированная линия разработки, существующая только на вашем компьютере. Представьте себе дерево с множеством веток - каждая ветка может расти в своем направлении, не. . .
Статическое отражение в C++
stackoverflow 12.02.2025
Статическое отражение представляет собой мощный механизм, позволяющий программам анализировать и манипулировать своей собственной структурой во время компиляции. Эта возможность открывает. . .
C++ в 21 веке - Бьярне Страуструп
stackoverflow 12.02.2025
В современном мире разработки программного обеспечения C++ продолжает оставаться одним из ключевых языков программирования, несмотря на свой солидный возраст - более 45 лет с момента создания. За это. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru