|
|
| Другие темы раздела | |
|
Логика и множества Перевод из and и or в Xor
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1280617.html Уважаемые форумчане, подскажите (процедуру перевода) как можно перевести имея 1) только "и" 2) только "или" в "исключающее или". Заранее благодарен. |
Логика и множества упростить выражение Приветствую. Помогите пожалуйста упростить выражение: Y=f(X1*X2*X3*X4)=\bar{X1}*\bar{X2}*\bar{X3}*\bar{X4}*X5+\bar{X1}*X2*\bar{X3}*\bar{X4}*X5+X1*\bar{X2}*\bar{X3}*\bar{X4}*X5+X1*X2*\bar{X3}*\bar{X4}*X5=? А как дальше делается что-то не доходит( |
| Логика и множества Найти КНФ и ДНФ Собственно формула: ((A\Rightarrow B)\vee (A\Rightarrow C))\Rightarrow (A\Rightarrow (A\vee C)) Предпоследний шаг: \bar(\bar{A}\vee B\vee C)\vee 1 ~ И (истина) - т.е. это и есть кнф (1 символ )? Тогда как прийти к ДНФ https://www.cyberforum.ru/ mathematical-logic-sets/ thread1279512.html |
Логика и множества Простенькая СДНФ и СКНФ
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1279037.html Подскажите, как построить по f(x;y;z)=(1;0;0;0;1;0;1;1) Просто раньше строил, когда была дана функция, а не значения. |
|
Композиция множеств Логика и множества Объясните, пожалуйста, по поводу композиции множеств. Это относится к подстановке и унификации (автоматическое доказательство теорем). Вот определение композиции. Пусть Q = {t1/x1, .. ., tn/xn) и Х = {ы1/г/1>. . . ит/ут\—две подстановки. Тогда композиция 9 и к есть под- становка (обозначим Qok), которая получается из множества {t^/x^ ..., tnk/xn, ujyu ..., ujyj вы еркиванием всех... |
Логика и множества Построить дерево доказательств Я вывел второй конъюнкт заключения по правилу удаления эквиваленции. А как мне получить неD, никак не пойму. https://www.cyberforum.ru/ mathematical-logic-sets/ thread1278726.html |
| Логика и множества Продолжите последовательность Добрый день задача для 7 класса олимпиады В ряду чисел каждое следующее число находится в зависимости от цифр предыдущего. продолжите последовательность 76 87 100 98 113 115 119 127 134 139 .... помогите с решением, спасибо https://www.cyberforum.ru/ mathematical-logic-sets/ thread1278256.html |
Логика и множества Запрет по x1 Здравствуйте. Не могу понять как работает операция "запрет по X1". Загуглив, тоже нечего не нашел. (01)=1 , (00)=0, (11)=0, (10)=1. Так? |
| Логика и множества Доказать, исходя из условия(бинарные отношения) Здравствуйте! Помогите, пожалуйста, хотя бы подсказкой как доказать. Есть два бинарных отношения P1 и P2, P1- подмножество P2. Надо доказать , что P1*Q является подмножеством P2*Q.(*- это знак композиции, Q- какое-то бинарное отношение) https://www.cyberforum.ru/ mathematical-logic-sets/ thread1277490.html |
Логика и множества Разработать схему шифратора
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1277333.html Помогите сделать задание, прекрепленно в файле Word ссылка удалена Правила форума :rtfm: 4.12. Картинки и любые другие файлы загружайте на форум, во избежание их удаления или потери на сторонних ресурсах. 5.18. Запрещено размещать задания и решения в виде картинок и других файлов с их текстом. Задания набирать ручками. Один вопрос - одна тема. Для формул есть редактор. ... |
|
Найти следствие и посылание Логика и множества Добрый день. Помогите, пожалуйста, решить данные упражнения! Или хотя бы объяснить как это делается! Заранее спасибо! -------------- 2. Найти все не равносильные между собой и не тождественно ложные формулы алгебры высказываний, для которых следующая формула является логическим следствием (за исключением собственно данной формулы): https://www.cyberforum.ru/cgi-bin/latex.cgi?<br>((P\vee... |
Логика и множества Таблцы истинности (ДНФ, СКНФ, СДНФ, КНФ)
https://www.cyberforum.ru/ mathematical-logic-sets/ thread1277115.html Помогите решить и/или разобраться в этой теме, пожалуйста! Буду искренне благодарен! :) Заранее ВСЕМ спасибо за ответы. ----------------- 1. Привести F к ДНФ. F\equiv ((p\rightarrow q)\rightarrow (r\rightarrow \bar{p}))\rightarrow (\bar{q}\rightarrow \bar{r}) 2. Будет ли F тавтологией на базе КНФ,СДНФ? Сделал вывод. F\equiv (a\rightarrow b)\Leftrightarrow (\bar{b}\rightarrow \bar{a}) ... |
|
26 / 26 / 11
Регистрация: 15.10.2013
Сообщений: 880
|
|
| 0 | |
Диаграмма Хассе - Логика и множества - Ответ 674988421.10.2014, 16:58. Показов 2420. Ответов 1
Метки (Все метки)
(3,3);(3,6);(3,12);(3,18);(3,36); (6,6);(6,12);(6,18);(6,36); (12,12);(12,36);(18,18);(18,36);(36,36)} R2={(2;2), (3;3), (3;6), (3;12), (3;18), (3;36), (6;3), (6;6), (6;12), (6;18), (6;36), (12;3), (12;6), (12;12), (12;18), (12;36), (18;3), (18;6), (18;12), (18;18), (18;36), (36;3), (36;6), (36;12), (36;18), (36;36)} Для отношения порядка построить диаграмму Хассе, найти максимальный и минимальный элемент. Помогите построить... Вернуться к обсуждению: Диаграмма Хассе Логика и множества
0
|
|
|
|
| 21.10.2014, 16:58 | |
|
Готовые ответы и решения:
1
Диаграмма Хассе Диаграмма Хассе Диаграмма Хассе,ввести отношения по заданной диаграмме Диаграммы Хассе |
| 21.10.2014, 16:58 | |
|
Помогаю со студенческими работами здесь
0
Проверка Диграммы Хассе Нарисуйте диаграмму Хассе
Построить диаграмму Хассе частично упорядоченного множества (A, R), отметить максимальный и минимальный элементы |
Наверх