|
|
| Другие темы раздела | |
|
Логика и множества Как проверить принадлежность функции к классу линейных функций?
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1574325.html Определить к каким классам (константы нуля, константы единицы, самодвойственных функций, монотонных функций, линейных функций, симметрических функций) относится функция следующего вида f({x}_{1}, {x}_{2}, {x}_{3}) =\left( {x}_{1}\sim {x}_{2}\right)|\left(\bar{{x}_{2}}\sim \bar{{x}_{3}} \right). РЕШЕНИЕ 1. Построим таблицу истинности ... |
Логика и множества Нахождение КНФ, ДНФ, СКНФ, СДНФ Необходимо найти КНФ, ДНФ, СКНФ, СДНФ. Подскажите, пожалуйста, верно ли найдены ДНФ и СДНФ и как получить КНФ и СКНФ? |
| Логика и множества МКНФ в ДНФ Здравствуйте! Прошу мне помочь с переводом. Если судить по вольфраму, то у меня должно получиться 3 выражения (!P*!T*R - не должно быть), когда же у меня получается 4. 2 фотографии прикреплены к теме (одна МКНФ, другая ДНФ). Прошу прощения, что публикую данные вещи файлами, ибо я не умею пользоваться тут латекс-формулами. Заранее благодарен! https://www.cyberforum.ru/ mathematical-logic-sets/ thread1572876.html |
Логика и множества Методом равносильных преобразований привести к СДНФ и СКНФ
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1572517.html ! - отрицание. !x1 \rightarrow (x2 \sim x3) Сначала нужно упростить же? !x1\rightarrow ((!x2\wedge !x3)\vee (x2\wedge x3)) \Leftrightarrow !!x1\vee (!x2\wedge !x3)\vee (x2\wedge x3)\Leftrightarrow x1 \vee (!x2 \wedge !x3)\vee (x2\wedge x3) Правильно? Добавлено через 40 минут Так дальше я попробовал к СДНФ привести... (x1\wedge 1\wedge 1)\vee (1\wedge !x2 \wedge !x3)\vee (1\wedge... |
|
Логика и множества В скобках то что дано, после скобки то что найти В скобках то что дано, после скобки то что найти. Заранее благодарю *_* {1,2,J2(x),min(x,y),max(x,y)} P3 |
Логика и множества Производя равносильные преобразования, доказать, что формула является тавтологией Я пометил ! знаком - отрицание. (p \vee r)\wedge (q\vee r) <-> (!p\vee !q->r) Сам до конца не сделал... Желательно по шагам... https://www.cyberforum.ru/ mathematical-logic-sets/ thread1571518.html |
|
Логика и множества Упростить выражение
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1571269.html Как, по какому закону из нижеприведенного уравнения можно выкинуть ВС? A*!B+!A*B+A*C+B*C где ! - это отрицание, а * - конъюнкция. |
Докажите ограниченность множества Е и найдите sup E и inf E, а также min E и max E, если они существуют Логика и множества E={x\epsilon R:x=\frac{{n}^3+1{}}{{n}^3+4{}}, n\epsilon N} |
|
Логика и множества Установить справедливость следующей формулы
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1570937.html Используя основные законы и соотношения алгебры логики, необходимо установить справедливость следующей формулы \bar{(\bar{x4\approx x2})(\bar{x1}\rightarrow x2)}\rightarrow \left=\left( x1\mid x2\right)\left(\bar{x1} \mid \bar{x2}\right)\left( x1\downarrow x2\right). подскажите пожалуйста |
Логика и множества Доказать тождество алгебры множеств По какому принципу решается данное задание? https://www.cyberforum.ru/ mathematical-logic-sets/ thread1570298.html |
|
Логика и множества Найдите область определения и область значения бинарного отношения Найдите область определения и область значения бинарного отношения P. Является ли оно рефлексивным, антирефлексивным, симметричным, антисимметричным, транзитивным. Вот с этим условием- |
Логика и множества Что значит modus ponens сохраняет 0?
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1569007.html Modus Ponens: (A, A→B)→B |
|
0 / 0 / 0
Регистрация: 08.11.2015
Сообщений: 4
|
|
| 10.11.2015, 21:08 [ТС] | 0 |
Построение дерева доказательства - Логика и множества - Ответ 832267210.11.2015, 21:08. Показов 3086. Ответов 5
Метки (Все метки)
Ответ
Вот такие правила вывода даны в методичке:
Вернуться к обсуждению: Построение дерева доказательства Логика и множества
0
|
|
| 10.11.2015, 21:08 | |
|
Готовые ответы и решения:
5
Построение дерева - нужно вывести формулу хождения по веткам Операции над бинарными деревьями: построение дерева, обход дерева, вставка и удаление элемента дерева Построение бинарного дерева. Обход дерева Построение дерева и процедура обхода дерева |
| 10.11.2015, 21:08 | |
| 10.11.2015, 21:08 | |
|
Помогаю со студенческими работами здесь
0
Построение В*-дерева
|
