Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Другие темы раздела
Логика и множества Семантика модальной логике Модель Крипке https://www.cyberforum.ru/ mathematical-logic-sets/ thread757499.html
Всем доброго времени суток. Наступила сессия и появилась необходимость срочно решить кое-какие задачи. В данной теме меня интересует семантика и модели Крипке. Необходимо доказать несколько утверждений. На деле парочку могу на словах объяснить, а как это нужно записать в работе понять не могу. Буду благодарен, если кто-нибудь мне поможет в этом деле. Необходимо доказать, что: 1) M, t|= ~(A...
Логика и множества Упростить функцию и найти мощность множества
нужно упростить эту функцию и найти "мощность множества", соответствующего данной функции
Логика и множества ДНФ<->КНФ https://www.cyberforum.ru/ mathematical-logic-sets/ thread757027.html
1) Из КНФ прихожу к ДНФ посредством перемножения :(A\vee \bar{C})(C\vee \bar{D})=AC\vee A\bar{D} \vee \bar{C}\bar{D} 2) Из ДНФ к КНФ пытаюсь обратно перейти, используя двойное отрицание: AC\vee A\bar{D} \vee \bar{C}\bar{D}=\bar{\bar{AC\vee A\bar{D} \vee \bar{C}\bar{D}}}=\bar{(\bar{A}\vee\bar{C})(\bar{A}\vee D)(C\vee D)}=\bar{\bar{A}C\vee \bar{A}D\vee \bar{C}D}=(A\vee \bar{C})(A\vee...
Логика и множества Метод Квайна, как определить ядро данной имликационной матрицы? https://www.cyberforum.ru/ mathematical-logic-sets/ thread756713.html
Изучаю МДНФ. На вики прочитал, что ядро матрицы составлют только те импликанты, которые перекрывают только 1 столбец конституент и никакие другие импликанты не перекрывают его. взялся за лекции препода, там он в примере разбирает следующую матрицу: Как определить ее ядро, или как получилась приведенная в конце МДНФ? До последних 2 строчек я все понимаю..
Логика и множества Методы минимизации СДНФ - нужна помощь
1.Минимизировать СДНФ «вручную» 2.Минимизировать СДНФ по методу Куайна 3.Минимизировать СДНФ по картам Карно 4.Минимизировать СДНФ по методу сочетания индексов Номера строк при которых f(x,y,z,t)=1: 2 3 4 6 9 12 13 14
Логика и множества Доказать равенство https://www.cyberforum.ru/ mathematical-logic-sets/ thread756243.html
Ребят помогите доказать равенство A\bigcap \left(B\oplus C \right)=\left(A\bigcap B \right)\oplus \left(A\bigcap C \right)
Логика и множества Упростить ур-е https://www.cyberforum.ru/ mathematical-logic-sets/ thread755865.html
Ребят помогите упростить.
Логика и множества Построение графа
Пожалуйста помогите. Для M={1,3,4,6} задать M*M графом отношение R={(a,b)/a=b(mod7);a,bϵM}.Определить свойства рефлексивности, антирефлексивности, симметричности, антисимметричности и транзитивности этого бинарного отношения.
Логика и множества справедливость тождеств диаграммы Эйлера-Венна помогите пожалуйста 4. Аналитическим способом, т.е. на основе формул взаимосвязи между логическими операциями, докажите справедливость нижеприведенных тождеств. Затем с помошью диаграмм Эйлера — Веина подтвердите справедливость этого доказательства. Представьте одно из выражений (предварительно его упростив) в базисе элементарных функции. В наборе номеров базисных функции должны фигурировать... https://www.cyberforum.ru/ mathematical-logic-sets/ thread755452.html Логика и множества логические выражения булевые функции https://www.cyberforum.ru/ mathematical-logic-sets/ thread755451.html
просто не имею понятия, помогите пожалуйста 3. Ниже приведены логические выражения. Максимально упростите выражение своего варианта, воспользовавшись законами логики Буля. Затем с помощью таблиц истинности сравните ваше упрошенное выражение с исходным.
Докажите, что следующее бинарное отношение являться отображением R в R Логика и множества
докажите, что следующее бинарное отношение являться отображением R в R и найдите его образ: {<x,y>C- RxR|y=x^2-1} C- знак принадлежности,просто не знаю как его писать :resent:
Логика и множества Доказать тождественную истинность https://www.cyberforum.ru/ mathematical-logic-sets/ thread755175.html
Помогите, пжлста, (x → y) → ((y → z) → (x → z));
0 / 0 / 0
Регистрация: 05.01.2013
Сообщений: 9
0

Доказать равенство - Логика и множества - Ответ 3980026

10.01.2013, 17:06. Показов 352. Ответов 0
Метки (Все метки)

Author24 — интернет-сервис помощи студентам
Ребят помогите плиз, сижу на экзамене. Задание 2.

Вернуться к обсуждению:
Доказать равенство Логика и множества
Миниатюры
Доказать равенство  
0
Заказать работу у эксперта
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
10.01.2013, 17:06
Готовые ответы и решения:

Доказать равенство
(A∪B)\(A⋂B)=(A\B)∪(B\A)

Доказать равенство
помогите,пожалуйста,доказать A\(B\C)=(A\B)∪(A∩C)

Доказать равенство
Ребята, кто может помочь с этим равенством? Вроде остальные варианты из этого задания простые....

доказать равенство
требуется доказать равенство: (AXB)пересечение(BXA)=(CXD)(знак похожий на &gt; но выше)A=B=C

0
10.01.2013, 17:06
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
10.01.2013, 17:06
Помогаю со студенческими работами здесь

Доказать равенство
всем привет! подскажите с чего начать решение? необходимо доказать равенство и нужна иллюстрация в...

Доказать равенство
Помогите пожалуйста доказать, что (А\В)\С =(А\С)\(В\С).

Доказать равенство
Ребят помогите доказать равенство A\bigcap \left(B\oplus C \right)=\left(A\bigcap B \right)\oplus...

Доказать равенство
Пожалуйста

Доказать равенство №1
1. Доказать {A} \cap {B} = {A} \cup {B} \Rightarrow {A} = {B}

Доказать равенство
Ребят помогите доказать равенство (A\B)\C=A\(BuC)

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru