|
|
| Другие темы раздела | |
| Логика и множества Найти область определения,область значений отношения Найти область определения,область значений отношения. Является ли оно всюду определённым, сюръективным, рефлексивным, симметричным, антисимметричным, несимметричным, транзитивным. М={1,2,3,4} P={(1,3),(1,4),(2,2),(3,3),(4,3),(4,4)} помогите пожалуйста https://www.cyberforum.ru/ mathematical-logic-sets/ thread431042.html |
Логика и множества Переход от СКНФ к СДНФ и обратно. Условие состоит в том, что нужно найти, либо СДНФ, либо СКНФ а потом перейти, либо к СКНФ, либо к СДНФ. С первой частью разобрался. А вот как переходить не могу понять. |
| Логика и множества Получить множество дизъюнктов Не могу разобратся как получить множество дизъюнктов. https://www.cyberforum.ru/ mathematical-logic-sets/ thread431014.html | Логика и множества Установить эквивалентность булевых функций в формулах. Используя таблицу истинности и аналитические преобразования, установить эквивалентность функций в формулах: x&(y||z) = (x&y)||(x&z) (((x|y)->(y|z)|(z<->x)<->(x->(y|z)) Таблицы построил а как аналитически преобразовывать не помню. https://www.cyberforum.ru/ mathematical-logic-sets/ thread430846.html |
|
Логика и множества Упростить СКНФ и СДНФ Только прошу Вас, если знаете, напишите сразу полное решение. |
Логика и множества Общий унификатор пар атомарных формул
https://www.cyberforum.ru/ mathematical-logic-sets/ thread429193.html Найти наиболее общий унификатор следующих пар атомарных формул (заглавными буквами обозначены переменные, а прописными — константы и функциональ- ные символы): P(c, X, f(X)), P(c, Y, Y ); P(f(X, Y ), Z, h(Z, Y )), P(f(Y, X), g(Y ), V ); P(f(Y ), W, g(Z)), P(U, U, V ); P(f(Y ), W, g(Z)), P(V, U, V ); R(Z, f(X, b, Z)), R(h(X), f(g(a), Y, Z)); P(X, f(Y ), h(Z, X)), P(f(Y ), X, h(f(Y ),... |
| Логика и множества Доказать тождество Привет всем! Вот уже голову сломал всю. Никак не получается. Кто сможет помочь, буду очень благодарен. Особенно в конце, не понимаю, как разъяснить преобразование п.4 в то что дано исходно https://www.cyberforum.ru/ mathematical-logic-sets/ thread428992.html |
Логика и множества Определить логическое значение высказывания. Доказать тавтологию. помогите пожалуйста!!!!! Определить логическое значение последнего высказывания: (А или В) = 1, (А->B) = 1, (не В ->А) = ? Добавлено через 4 минуты Докажите ( с помощью равносильных преобразований) что данная формула является тавтологией: ((P->Q)^(R->S)^не(Q или S))->не(P или R) |
| Логика и множества Подскажите как определить равносильны ли выражения? Подскажите как определить равносильны ли выражения: A V \left(\bar{B}&\bar{C} \right) и \left(\bar{A} V B \right)&\bar{C} https://www.cyberforum.ru/ mathematical-logic-sets/ thread427758.html | Логика и множества Исследование гипотез на противоречия Народ со старым новым годом вас... Кто нибудь сможет да помочь по братске 1. (A\/B)->(C/\D) 2. (D\/E)->G 3. A\/ !G Добавлено через 1 минуту там какие то замены надо делать например A\/B на x а C/\D на y https://www.cyberforum.ru/ mathematical-logic-sets/ thread427506.html |
|
Логика и множества Перевод базис или-не. помогите перевести в базис или-не заранее благодарен. |
Логика и множества Найти множества истинности предикатов
https://www.cyberforum.ru/ mathematical-logic-sets/ thread427291.html Решите пожалуйста последня задачка:( На множестве M={1,2,3,….20} заданы предикаты : А(х) : « х не делится на 5» В(х) : « х- четное число» С(х): «x-простое число» D(х): «х кратно 3» НАЙДИТЕ МНОЖЕСТВА ИСТИННОСТИ СЛЕДУЮЩИХ ПРЕДИКАТОВ: a.A(x)\vee B(x)\vee D(x) b.C(x)\rightarrow A(x) c.D(x)\rightarrow \bar{C}(x) |
|
0 / 0 / 0
Регистрация: 19.01.2012
Сообщений: 13
|
|
| 19.01.2012, 15:46 [ТС] | 0 |
Найти СДНФ выражения по таблице истинности. - Логика и множества - Ответ 240454519.01.2012, 15:46. Показов 17257. Ответов 7
Метки (Все метки)
Ответ
Спасибо огромное! Сейчас на основе этого задания попробую сделать другой пример.
Вернуться к обсуждению: Найти СДНФ выражения по таблице истинности. Логика и множества
0
|
|
| 19.01.2012, 15:46 | |
|
Готовые ответы и решения:
7
По таблице истинности найти СКНФ, СДНФ Найти СДНФ и СКНФ. Восстановление функции по её таблице истинности По таблице истинности построить Скнф и Сднф Составить таблицы истинности. Найти СДНФ, СКНФ, полином Жегалкина. |
| 19.01.2012, 15:46 | |
| 19.01.2012, 15:46 | |
|
Помогаю со студенческими работами здесь
0
Записать таблицу истинности. Найти ДНФ, КНФ, СДНФ, СКНФ Как найти числа 17,21,27 в таблице истинности Таблцы истинности (ДНФ, СКНФ, СДНФ, КНФ) |
Наверх