Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
kotenych
0 / 0 / 0
Регистрация: 24.01.2013
Сообщений: 1
#1

Приведение к нормальным формам, тип формулы

27.01.2013, 23:21. Просмотров 889. Ответов 0
Метки нет (Все метки)

Используя алгоритмы приведения, преобразовать функцию в ДНФ, КНФ, а затем в ДСНФ и КСНФ:
http://www.cyberforum.ru/cgi-bin/latex.cgi?f = \overline {BC \to A}
у меня получилось только вот так: http://www.cyberforum.ru/cgi-bin/latex.cgi?f = \overline {BC \to A}  = \overline {\overline {BC}  \vee A}  = BC \wedge \overline A  = \overline A BC
ДСНФ и прочего не получается, если есть ошибка, исправьте пожалуйста.
Определить тип формулы (тождественно истинна, тождественно ложна или выполнима):
http://www.cyberforum.ru/cgi-bin/latex.cgi?((A \to (B \wedge D)) \to (\overline B  \to \overline A )) \to \overline B
здесь тип формулы нужно определить 3 способами: таблица истинности, алгебраический метод и "от противного". с помощью таблицы истинности у меня получилось определить её как выполнимую, но не получается доказать это другими методами. возможно неправильно определён тип формулы. проверьте, если можно.
и ещё: как выразить все булевы функции через полную систему функций? и как можно доказать функцию с помощи таблицы истинности?
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
27.01.2013, 23:21
Ответы с готовыми решениями:

Запрограммировать приведение формулы логики предикатов к виду ПНФ
Доброго времени суток, форумчане. Имею следующее задание: написать программу приведения формулы...

Определить тип формулы
Определить тип формулы: Q∨R→(P∨Q→P∨R) Я построил таблицу истинности для данный формулы и получил...

Тип формулы алгебры высказываний
Определить тип формулы алгебры высказываний построив ее таблицу истинности.O_o

Проверьте приведение формулы к базису "и" "не"
ГДЕ МОЖНО НАЙТИ ИНФОРМАЦИЮ НОРМАЛЬНУЮ о этом представлении, что читал одни рассказы про философов и...

Проверить истинность формулы логики предикатов. Формулы логики предикатов. Область истинности формулы
Помогите решить задания.Объясните как делать хотя бы первые 2.Или хотя бы укажите...

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
27.01.2013, 23:21

задачи на множество. вид формулы алгебры логики и упрощение формулы
не получается решить никак может знает кто?

Приведение к 1, 2, 3 нормальным формам
Проверьте пожалуйста, правильно ли я сделал? Я создал новый атрибут "Идентификатор гонщика"...

Приведение к первой, второй и третьей нормальным формам
В задании необходимо привести заданное отношение последовательно к первой, второй и третьей...


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

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru