Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ 1 сообщение ] |
|
Автор | Сообщение | |
---|---|---|
kotenych |
|
|
[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 способами: таблица истинности, алгебраический метод и "от противного". с помощью таблицы истинности у меня получилось определить её как выполнимую, но не получается доказать это другими методами. возможно неправильно определён тип формулы. проверьте, если можно. и ещё: как выразить все булевы функции через полную систему функций? и как можно доказать функцию с помощи таблицы истинности? |
||
Вернуться к началу | ||
[ 1 сообщение ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Приведение формулы к ДНФ | 4 |
237 |
15 июн 2019, 14:29 |
|
Приведение формулы к предваренной форме | 1 |
251 |
30 ноя 2017, 12:25 |
|
Приведение формулы к нормальной приведенной форме | 1 |
162 |
03 дек 2020, 17:44 |
|
Уравнение с нормальным вектором | 2 |
316 |
07 ноя 2017, 20:22 |
|
Литература по квадратичным формам
в форуме Линейная и Абстрактная алгебра |
1 |
269 |
18 сен 2014, 21:36 |
|
Решить задачу с помощью формулы полной вероятности и формулы
в форуме Теория вероятностей |
12 |
1681 |
23 ноя 2014, 01:46 |
|
Приведение подобных
в форуме Алгебра |
10 |
490 |
12 авг 2018, 18:01 |
|
Приведение к СДНФ | 0 |
298 |
06 июн 2016, 23:29 |
|
Приведение суммы к виду
в форуме Алгебра |
2 |
433 |
01 ноя 2014, 14:59 |
|
Приведение к жордановой форме
в форуме Линейная и Абстрактная алгебра |
1 |
411 |
05 июн 2014, 18:17 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 16 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |