Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Другие темы раздела
Логика и множества Упрощение логических функций Доброго времени суток! Исходная формула - первая, конечная - вторая. Как привести исходную к конечному виду? https://www.cyberforum.ru/ mathematical-logic-sets/ thread2367898.html Запишите следующие высказывания в виде формул алгебры предикатов Логика и множества
Задание № 3 Введите предикаты на соответствующих областях и запишите при их помощи следующие высказывания в виде формул алгебра предикатов: 1) Жители Швейцарии обязательно владеют или французским, или итальянским, или немецким языком.
Логика и множества Нужно привести пример симметричного, транзитивного и не рефлексивного отношения https://www.cyberforum.ru/ mathematical-logic-sets/ thread2367029.html
Нужно привести пример симметричного, транзитивного и не рефлексивного отношения! Спасибо за помощь)
Логика и множества Какими свойствами обладает бинарное отношение https://www.cyberforum.ru/ mathematical-logic-sets/ thread2366491.html
Какими свойствами обладает бинарное отношение
Высказывание с предикатами в дискретной математике Логика и множества
Правильно ли я перевел формулу на обычный язык, и выполнил ли я полностью это задание
Логика и множества В орграфе найти полустепени и степени вершин; записать матрицу инцидентности https://www.cyberforum.ru/ mathematical-logic-sets/ thread2366445.html
-Найти результаты действий -Ввести необходимые элементарные высказывания и записать логической формулой следующее предложение -найти методом преобразования минимальную ДНФ -Орграф задан своей матрицей смежности. Следует: а) нарисовать орграф; б) найти полустепени и степени вершин; в) записать матрицу инцидентности;
Логика и множества Операции над множествами я правильно сделал задание( вот это А/В тоже самое что А\В, в задании просто перепутано, или это тоже какая та разность, во всех учебниках по разному. И это U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}): Найти А В; А В; А/В; В/А; ¯В, ¯А. где А = {8, 4, {8}, {Ø}, Ø}; B = {{8, 4}, {8}, {Ø}, 0}; U = {0, …, 9}. Решение: А = {8, 4, {8}, {Ø}, Ø}; B =... https://www.cyberforum.ru/ mathematical-logic-sets/ thread2366256.html Упростить логическую функцию СКНФ Логика и множества
Не получается упростить логическую функцию СКНФ (D+¬C+B+¬A)*(D+¬C+¬B+¬A)*(¬D+C+B+A)*(¬D+C+¬B+A)*(¬D+¬C+B+A)*(¬D+¬C+B+¬A) Добавлено через 13 минут CДНФ упростил: ¬D¬C¬B¬А+¬D¬C¬BA+¬D¬CB¬A+¬D¬CBA+¬D+C¬D¬A+¬DCB¬A+D¬C¬BA+D¬CBA+DCB¬A+DCBA=¬D¬C¬B(¬A+A)+¬D¬C¬B(¬A+A)+¬D¬C+¬A(¬B+B)+D¬CA(¬B+B)+DCB(¬A+A)=¬D¬C¬B+¬D¬CB+¬D¬CA+DCB=¬D¬C¬B=¬D¬C+¬D¬C¬A+DC¬A+DCB
Логика и множества Какими свойствами обладает данное отношение https://www.cyberforum.ru/ mathematical-logic-sets/ thread2365899.html
Здравствуйте, есть такое задание. Какими свойствами обладает данное отношение Ф=(А, G), где А - жители России на начало этого года, xGy тогда и только тогда, когда y - тёща для x. Я доказал, что это отношение: 1) не рефлексивно, 2) антирефлексивно, 3) не симметрично, 4) антисимметрично, 5) связно. Но у меня ошибка с транзитивностью. Я указал, что оно не транзитивно, так как если y тёща для z, а...
Логика и множества Приведите пример суждения, которое является подчиняющим к данному Добрый вечер! Вообще тема суждений и отношений между ними достаточно простая, но есть несколько заданий, которые я никак не могу решить( Буду очень признателен, если кто-нибудь поможет разобраться! 2. Приведите пример суждения, которое является подчиняющим к данному: "3 + 3 = 6, если и только если 4 + 4 = 8" Заранее спасибо!) https://www.cyberforum.ru/ mathematical-logic-sets/ thread2365892.html
В каком отношении состоят между собой суждения? Логика и множества
Добрый вечер! Вообще тема суждений и отношений между ними достаточно простая, но есть несколько заданий, которые я никак не могу решить( Буду очень признателен, если кто-нибудь поможет разобраться! 1. В каком отношении состоят между собой суждения А: "3 + 3 = 6 и 4 + 4 = 8" B: "Если 5 + 5 = 10, то тогда верно, что либо 3 + 3 != 6 либо 4 + 4 = 8" Заранее спасибо!)
Логика и множества Не получается Аксиоматическая теория чёрча Нужна помощь, не получается 1 и 2 задание. https://www.cyberforum.ru/ mathematical-logic-sets/ thread2365746.html
Ушел с форума
Автор FAQ
16331 / 7652 / 1072
Регистрация: 11.11.2010
Сообщений: 13,671
09.12.2018, 17:48 0

Доказать равенства - Логика и множества - Ответ 13141306

09.12.2018, 17:48. Показов 501. Ответов 1
Метки (Все метки)

Ответ

https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A\set B}=\bar{A\bar{B}}=\bar{A}+B=(\bar{A}+B)(\bar{A}+A)=\bar{A}\bar{A}+\bar{A}B+\bar{A}A+AB=
https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{A}(1+B)+0+AB=\bar{A}+AB

Вернуться к обсуждению:
Доказать равенства Логика и множества
0
Заказать работу у эксперта
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
09.12.2018, 17:48
Готовые ответы и решения:

Доказать равенства
Помогите плиз (AхB)∩(CхB)∩(CхD) = (A∩C)х(B∩D).

доказать равенства мн-в
\overline{(A/B)\cup (B/C)}=(\overline{A}\cap \overline{B})\cup (B\cap C) из левой части получили:...

Доказать равенства множеств
Докажите равенство декартовых произведений множеств:

Доказать, что для произвольных множеств А, В, X, Y справедливы равенства
Доказать, что для произвольных множеств А, В, X, Y справедливы равенства (X ^ Y) x A = (X x A)...

1
09.12.2018, 17:48
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
09.12.2018, 17:48
Помогаю со студенческими работами здесь

доказать пятью разными способами такие равенства над множествами
довести пятью разными способами такие равенства над множествами

исходя из определения равенства множеств и определений операций над множествами, доказать
исходя из определения равенства множеств и определений операций над множествами,...

Доказать, исходя из определения равенства множеств и определений операций над множествами
Помогите, пожалуйста, доказать равенство множеств: ((A∪C)\B)∩C=((A∩C)∪C)\B ...

Доказать равенства, используя свойства операций над множествами и определения операций
Доказать равенства, используя свойства операций над множествами и определения операций. A\subseteq...

0
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru