|
|
Другие темы раздела | |
Логика и множества Полином Жегалкина из СДНФ
https://www.cyberforum.ru/ mathematical-logic-sets/ thread772525.html Здравствуйте! Мне нужно построить полином Жегалкина, чтобы проверить наличие линейности. Даны две функции - я привел их к СДНФ: Первая функция: \begin{align} \,1)x\rightarrow\bar{y}=\bar{x}\vee\bar{y}=\bar{x}\wedge\left(y\vee\bar{y}\right)\vee\bar{y}\wedge\left(x\vee\bar{x}\right)=\\=\left(\bar{x}\wedge y\right)\vee\left(\bar{x}\wedge\bar{y}\right)\vee\left(\bar{y}\wedge x... |
Логика и множества Проверить, является ли отношением эквивалантности на множестве всех прямых на плоскости отношение "перпендикулярных прямых" Добрый день Такая ситуация, на заочном отделении по предмету математическая логика дали задания. Из 10 различных заданий решил 8, а на 2-ух застопорился =( прям какая-то внештатная ситуация для меня))) Если быть может кто сталкивался с такими задачами, подскажите пожалуйста способ решения данных задач: 1. Проверить, является ли отношением эквивалантности на множестве всех прямых на... |
Логика и множества Доказать равенство
https://www.cyberforum.ru/ mathematical-logic-sets/ thread771221.html Пожалуйста |
Логика и множества Доказать равенство множеств
https://www.cyberforum.ru/ mathematical-logic-sets/ thread770681.html Помогите, пожалуйста доказать равенство. Сама пыталась и пришла к выводу, что равенство неверное. Очень нужен ответ скорее. (A⋂B)\C=(A\C)⋂(B\C) Добавлено через 43 минуты Уже решила сама))) |
Логика и множества Задание теории множеств На кафедре иностранных языков работают 18 преподавателей. Из них 12 преподают английский язык, 11 – немецкий язык, 9 – французский язык. 5 преподавателей преподают английский и немецкий языки, 4 – английский и французский, 3 – немецкий и французский. Сколько преподавателей преподают все три языка? Сколько преподавателей преподают только два языка? |
Логика и множества Задача на логику
https://www.cyberforum.ru/ mathematical-logic-sets/ thread770033.html Про 5 жителів одного міста відомо,що Будков,Миронов і перукар відвідують одну вечірню школу;слюсар і пекар старші ніж Данилюк,а Фелько старший ніж механік;Миронов і механік -сусіди;Миронов і міліціонер були на весіллі в Горіна;Будков,Фелько і слюсар-аматори риболовлі,Миронов захоплюється лише футболом;пекар і перукар-друзі дитинства Фелька.Визначити професію кожного з названих мешканців... |
Логика и множества Рефлексивность, пересечение и объединение (исправить ошибки)
https://www.cyberforum.ru/ mathematical-logic-sets/ thread769749.html Добрый день, вечер. Прошу помощи, не бесплатно конечно. Две задачки: 1. С⊂A∩B => C⊂AUB - доказать мысли были такие: что какой-то элемент х принадлежит и пересечению и объединению, то x принадлежит и А и B, но бред. 2. P, Q - рефлексивны, то и P∘Q - рефлексивны мысли: (x,x) принадлежит Р и (х,х) принадлежит Q => (по определению композиции) найдется z=x, что (x,z)... |
Задача отношение эквивалентности Логика и множества Помогите решить задачу: Доказать, что композиция отношений эквивалентности - отношение эквивалентности. Справедливо ли это для отношения порядка, толерантности. |
Логика и множества Вывести секвенции
https://www.cyberforum.ru/ mathematical-logic-sets/ thread769635.html Вывести секвенцию: \vdash(A1 & ... & An) \rightarrow B ---------------------- A1, ..., An \rightarrow B Я так понял, что из нижней формулы выводится верхняя и нужно доделать до конца..)) Пожалуйста, помогите, не могу разобраться.. |
Логика и множества Доказать эквивалентность
https://www.cyberforum.ru/ mathematical-logic-sets/ thread769617.html Доказать эквивалентность: A\veeB \equiv ┐(┐A & ┐B). Помогите, пожалуйста, срочно нужно:( |
Вывести секвенции Логика и множества 1. Вывести следующие секвенции: A\vdash(┐A\rightarrowB), ((A & B) & C) \vdash (A & (B & C)). К завтрашнему дню срочно нужно. Пожалуйста помогите:cry: |
Логика и множества Мат. логика
https://www.cyberforum.ru/ mathematical-logic-sets/ thread768805.html Как решать???? |
kotenych
|
|
0 | |
Приведение к нормальным формам, тип формулы - Логика и множества - Ответ 406083627.01.2013, 23:21. Показов 1478. Ответов 0
Метки (Все метки)
Используя алгоритмы приведения, преобразовать функцию в ДНФ, КНФ, а затем в ДСНФ и КСНФ:
у меня получилось только вот так: ДСНФ и прочего не получается, если есть ошибка, исправьте пожалуйста. Определить тип формулы (тождественно истинна, тождественно ложна или выполнима): здесь тип формулы нужно определить 3 способами: таблица истинности, алгебраический метод и "от противного". с помощью таблицы истинности у меня получилось определить её как выполнимую, но не получается доказать это другими методами. возможно неправильно определён тип формулы. проверьте, если можно. и ещё: как выразить все булевы функции через полную систему функций? и как можно доказать функцию с помощи таблицы истинности? Вернуться к обсуждению: Приведение к нормальным формам, тип формулы Логика и множества |
27.01.2013, 23:21 | |
Готовые ответы и решения:
0
Приведение к 1, 2, 3 нормальным формам Приведение к первой, второй и третьей нормальным формам Привести таблицу к 1, 2, 3 нормальным формам Доказать общезначимость формулы A и выяснить тип формулы B |
27.01.2013, 23:21 | |
27.01.2013, 23:21 | |
Помогаю со студенческими работами здесь
0
Приведение формулы к СДНФ путём эквивалентных преобразований Запрограммировать приведение формулы логики предикатов к виду ПНФ Определить тип формулы Тип формулы алгебры высказываний |