|
|
Другие темы раздела | |
Логика и множества Перевод СДНФ в базис Пирса и Шеффера
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1318531.html Добрый день. Была дана таблица истинности, нашёл её сднф и скнф, сократил. получилось что функция для СДНФ F= \bar{C}*D+\bar{A}*B*D для СКНФ F=D*(B+\bar{C})*(\bar{A}+\bar{C}) Нужен перевод этих выражений в базис И-НЕ и ИЛИ-НЕ Понимаю, что такие темы тут поднимаются постоянно, но посмотрел темы и к сожалению так и не понял как переводить (вернее что-то понял, но проблемы с преобразованиями... |
Логика и множества Переход от карт карно к базису пирса Для примера имеется карта 4х4.Как мне перейти от карты сразу к базису пирса, не используя классический? |
Логика и множества Дизъюнкт не обнуляется Доброе утро! Есть такая задача в процессе решения (во вложении). Из множества дизъюнктов не вооруженным взглядом видно, что не-Хороший_человек не обнулится. Подскажите, пожалуйста, где ошибка в рассуждениях. https://www.cyberforum.ru/ mathematical-logic-sets/ thread1316904.html |
Логика и множества Математическая Логика. СКНФ и СДНФ
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1316699.html Помогите решить задачу по матлогике. Пропустил тему, не могу разобраться. Задания 1.3 и 1.4. |
Логика и множества Как по заданной цифровой последовательности сформировать логическую схему Как по заданной цифровой последовательности сформировать логическую схему, которая на выходе реализует последовательность И ИЛИ НЕ И-НЕ ИЛИ-НЕ, имея последовательность 10101101011110010000 |
Логика и множества Посоветуйте книгу по теории множеств читаю конспект, а там много "страшных" терминов: сигма алгебры, внутрение меры и т.п. если серьезно, курс про меру и интреграл Лебега. https://www.cyberforum.ru/ mathematical-logic-sets/ thread1316130.html |
Логика и множества Доказать, что любое множество попарно непересекающихся открытых интервалов на действительной оси не более чем Помогите решить или подскажите куда посмотреть на что-нибудь подобное: Доказать, что любое множество попарно непересекающихся открытых интервалов на действительной оси не более чем счетно. https://www.cyberforum.ru/ mathematical-logic-sets/ thread1315936.html |
Математическое представление логических функций Логика и множества Добрый день, дорогие коллеги! Столкнулась с задачей, решение которой никак не приходит в голову. Суть: Есть логическое выражение: (m1 and m2) or (m3 and m4) is true Необходимо представить это выражение в алгебраической форме с некоторыми ограничениями: - нельзя использовать умножение(т.е. запись m1*m2+m3*m4>=1 не подходит) - нельзя использовать какие-либо другие логические операции (if... |
Логика и множества равенсто множеств \overline{(A/B)\cup (B/C)}=\overline{(A\cap \overline{B})\cup (B\cap \overline{C})}=\overline{(A\cap \overline{B})}\cap (\overline{B\cap \overline{C}})=(\overline{A}\cup B)\cap (\overline{B}\cup C)=((\overline{A}\cup B)\cap \overline{B})\cup ((\overline{A}\cup B)\cap C)=((\overline{B}\cap \overline{A})\cup (\overline{B}\cap B))\cup ((C\cap \overline{A})\cup (C\cap B))=(\overline{B}\cap... https://www.cyberforum.ru/ mathematical-logic-sets/ thread1315134.html |
Логика и множества Базис и-нет, шрих Шеффера
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1314805.html Доброе утро. Помогите, пожалуйста, реализовать ф-ю в базисе и-нет с помощью штриха Шеффера. F= не x1*x2*не x3 + x1*не x2*x3 Как-то так, извините, что так записана функция, еще не разобралась как писать с черточкой вверху). |
Логика и множества Алгоритм поглощения для предикатов Расскажите, пожалуйста, как работает алгоритм поглощения для предикатов. Очень нужны примеры, т.к. задали реализовать программу его работы. |
Логика и множества Доказать выводимость
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1314167.html {A v B; не А} - B Как это доказать? |
03.12.2014, 21:17 | 0 |
Осуществить операции над отношениями - Логика и множества - Ответ 693709803.12.2014, 21:17. Показов 795. Ответов 6
Метки (Все метки)
Ответ
Не очень понял, в каком месте у Вас возникают проблемы, сравнивая эту задачу с заданными предикатом отношением с привычной Вам задачей с поэлементно заданными отношениями. Схема та же: берём определение композиции / квадрата / произвольной степени, подставляем конкретные множества и упрощаем полученный объект до предела.
В дальнейшем указывайте Ваши рассуждения. Вернуться к обсуждению: Осуществить операции над отношениями Логика и множества
0
|
03.12.2014, 21:17 | |
Готовые ответы и решения:
6
Операции над отношениями Отношения. Операции над отношениями. Осуществить операции над множествами Операции над множествами |
03.12.2014, 21:17 | |
03.12.2014, 21:17 | |
Помогаю со студенческими работами здесь
0
Операции над множествами. Операции над множествами Операции над множествами Операции над множествами |