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

Доказать выражение табличным способом

06.12.2014, 12:10. Просмотров 276. Ответов 5
Метки нет (Все метки)

a OR b OR c, (b OR c) http://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow (a AND b) |= a OR (a AND b)
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
06.12.2014, 12:10
Ответы с готовыми решениями:

Доказать выражение тремя способами
(AU(B/C))/B=A 1. Графически 2. Методом двух включений 3. Методом...

Доказать логическое выражение методом двух включений
(A∪(B/C))/B≡A Нарушение Правил форума, пункт 4.7. Как можно более полно...

Записать выражение на языке предикатов. Доказать теорему методом резолюций.
Народ если кто знает мат логику помогите плис : 1.Записать на языке...

Решение способом отношений
Задание. Задание такое,в книге под заголовком Задачи написано определение...

Решение задачи алгебраическим способом
Помогите решить задачу алгебраическим способом. Моторная лодка прошла против...

5
Alamira
148 / 146 / 36
Регистрация: 04.11.2014
Сообщений: 303
06.12.2014, 17:02 2
CM_WEb, составьте таблицу истинности для http://www.cyberforum.ru/cgi-bin/latex.cgi?a\vee b\vee c, для http://www.cyberforum.ru/cgi-bin/latex.cgi?b\vee c \rightarrow a\wedge b и для http://www.cyberforum.ru/cgi-bin/latex.cgi?a\vee (a\wedge b). Можно все в одной таблице. Просмотрите все наборы значений а, b и с, для которых первые два высказывания истинны. Если третье при этом тоже истинно - доказано.
1
CM_WEb
0 / 0 / 0
Регистрация: 06.04.2014
Сообщений: 28
07.12.2014, 09:34  [ТС] 3
А можно попросить вас это сделать?) проблема в том что с дискретной я не знаком и не знаю как составляют таблицы
0
Alamira
148 / 146 / 36
Регистрация: 04.11.2014
Сообщений: 303
07.12.2014, 10:12 4
Посмотрите в начале раздела Дискретная математика в важных темах.
0
CM_WEb
0 / 0 / 0
Регистрация: 06.04.2014
Сообщений: 28
07.12.2014, 11:28  [ТС] 5
я составил таблицы...Правильно ли я понял, что Те комбинации которые делают высказывания истинными и являются необходимыми? и как это доказательство выделить?
0
Alamira
148 / 146 / 36
Регистрация: 04.11.2014
Сообщений: 303
07.12.2014, 12:22 6
CM_WEb, перечитайте ещё раз мой первый ответ и покажите таблицу.
0
07.12.2014, 12:22
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
07.12.2014, 12:22

Проверить эквивалентность формул способом преобразования
\left(x\oplus y\oplus z \right) и xyz\vee x\bar{y}\bar{z}\vee...

Найти полином Жегалкина аналитическим способом
Найти полином жегалкина аналитическим способом: В док файле метод...

Найти СКНФ И СДНФ аналитическим способом
((a\Delta \bar{b}c)\perp (b\oplus \bar{c}d))\rightarrow (c(\bar{d}\oplus b)...


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

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

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