Форум программистов, компьютерный форум, киберфорум
Наши страницы

Мат. логика и множества

Войти
Регистрация
Восстановить пароль
 
CM_WEb
0 / 0 / 0
Регистрация: 06.04.2014
Сообщений: 28
#1

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

06.12.2014, 12:10. Просмотров 250. Ответов 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
Здравствуйте! Я подобрал для вас темы с ответами на вопрос Доказать выражение табличным способом (Логика и множества):

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

Решение способом отношений - Математика
Задание. Задание такое,в книге под заголовком Задачи написано определение решения этих задач,а именно вот само определение:”Задачи...

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

Аналитическим способом докажите справедливость тождеств - Логика и множества
Аналитическим способом, т.е. на основе формул в зависимости между логическими операциями, докажите справедливость ниже приведенных...

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

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

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) помогите пожалуйста

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

Кодирование информации табличным способом. - C#
В общем, от меня требуется реализовать в программе на C#, C++ Builder'e кодирование информации табличным способом... Я так понял,...


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

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

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