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

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

06.12.2014, 12:10. Просмотров 265. Ответов 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)
http://www.cyberforum.ru/mathematical-logic-sets/thread2245108.html
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
06.12.2014, 12:10
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Доказать выражение табличным способом (Логика и множества):

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

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

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

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

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

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
Привет! Вот еще темы с решениями:

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

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

Построить СДНФ способом равносильных преобразований
Всем привет! Помогите, пожалуйста, построить СДНФ по функции YZ V \bar{X}Z ...

Найти точки пересечения графическим способом
Решите пожалуйста задачу 9 класса вот она: {x-y=3; x2+y-16=0 Заранее...


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

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

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