Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
 Заголовок сообщения: Приведение к нормальным формам, тип формулы
СообщениеДобавлено: 27 янв 2013, 20:00 
Не в сети
Начинающий
Зарегистрирован:
27 янв 2013, 15:40
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Используя алгоритмы приведения, преобразовать функцию в ДНФ, КНФ, а затем в ДСНФ и КСНФ:
[math]f = \overline{BC \to A}[/math]
у меня получилось только вот так: [math]\overline{BC \to A}= \overline{\overline{BC}\vee A}= BC \wedge \overline A = \overline A BC[/math]
ДСНФ и прочего не получается, если есть ошибка, исправьте пожалуйста.
Определить тип формулы (тождественно истинна, тождественно ложна или выполнима):
[math]((A \to (B \wedge D)) \to (\overline B \to \overline A )) \to \overline B[/math]
здесь тип формулы нужно определить 3 способами: таблица истинности, алгебраический метод и "от противного". с помощью таблицы истинности у меня получилось определить её как выполнимую, но не получается доказать это другими методами. возможно неправильно определён тип формулы. проверьте, если можно.
и ещё: как выразить все булевы функции через полную систему функций? и как можно доказать функцию с помощи таблицы истинности?

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ 1 сообщение ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Приведение формулы к ДНФ

в форуме Дискретная математика, Теория множеств и Логика

T0NI

4

237

15 июн 2019, 14:29

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

в форуме Дискретная математика, Теория множеств и Логика

Veltare

1

251

30 ноя 2017, 12:25

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

в форуме Дискретная математика, Теория множеств и Логика

niciki

1

162

03 дек 2020, 17:44

Уравнение с нормальным вектором

в форуме Аналитическая геометрия и Векторная алгебра

Ogantar

2

316

07 ноя 2017, 20:22

Литература по квадратичным формам

в форуме Линейная и Абстрактная алгебра

Wertz

1

269

18 сен 2014, 21:36

Решить задачу с помощью формулы полной вероятности и формулы

в форуме Теория вероятностей

Elena_sh

12

1681

23 ноя 2014, 01:46

Приведение подобных

в форуме Алгебра

Ilya83

10

490

12 авг 2018, 18:01

Приведение к СДНФ

в форуме Дискретная математика, Теория множеств и Логика

HomBro

0

298

06 июн 2016, 23:29

Приведение суммы к виду

в форуме Алгебра

rocketride

2

433

01 ноя 2014, 14:59

Приведение к жордановой форме

в форуме Линейная и Абстрактная алгебра

Qoodov

1

411

05 июн 2014, 18:17


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 16


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
cron

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved