|
|
Другие темы раздела | |
Логика и множества Семантика модальной логике Модель Крипке
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 | |
Доказать равенство - Логика и множества - Ответ 398002610.01.2013, 17:06. Показов 352. Ответов 0
Метки (Все метки)
Ребят помогите плиз, сижу на экзамене. Задание 2.
Вернуться к обсуждению: Доказать равенство Логика и множества
0
|
10.01.2013, 17:06 | |
Готовые ответы и решения:
0
Доказать равенство Доказать равенство Доказать равенство доказать равенство |
10.01.2013, 17:06 | |
10.01.2013, 17:06 | |
Помогаю со студенческими работами здесь
0
Доказать равенство Доказать равенство Доказать равенство Доказать равенство Доказать равенство №1 Доказать равенство |