Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
Другие темы раздела
Логика и множества Упростить логическую функцию и построить таблицу истинности https://www.cyberforum.ru/ mathematical-logic-sets/ thread1842443.html
Доброго времени суток, необходимо упростить логическую функцию и построить таблицу истинности. Сама функция: A˄B˅B ̅ ˅A ̅˄C По идее, после упрощения должно получиться просто C. Но так как делал это давно, многое позабыл. Не подскажете, как это сделать?
Логика и множества Максимальные совместимые подмножества
Дали мне задание по дискретной математике, которую я вообще понять не могу, в интернете найти объяснению нет...понять не могу как делать, само задание На множестве X задано отношение несовместимости R. Построить все максимальные совместимые подмножества множества X
Логика и множества Доказательство тавтологии https://www.cyberforum.ru/ mathematical-logic-sets/ thread1842191.html
Выясните, справедливы ли следующие утверждения (если утверждение несправедливо, то постарайтесь определить, обе его части «тогда» и «только тогда» не выполняются или только одна): |= F->G тогда и только тогда, |= G Помогите, пожалуйста.
Логика и множества Доказательство метатеоремы дедукции https://www.cyberforum.ru/ mathematical-logic-sets/ thread1842023.html
Подскажите, пожалуйста, один момент в данном доказательстве. Доказываем по индукции. База понятна. В доказательстве шага не ясен момент с 4 вариантом получения формулы Us, если утверждение доказано для U1, ..., Us-1 и 4 вариант получения Us : Uj = Ui -> Us, то есть Us получена по правилу modus ponens. Что означает равенство Uj = Ui -> Us и где в данном случае modus ponens?
Уравнение с множествами Логика и множества
Помогите решить X\C=D
Логика и множества Исчисление предикатов https://www.cyberforum.ru/ mathematical-logic-sets/ thread1841069.html
Помогите решить
Логика и множества Множество. Дискретная математика Ребят очень нужно натолкнуть на мысль. Я заочник ничего не понимаю 1 курс Прикладная математика и математическая логика предмет. Вот собственно сами задачки! Мне конечно очень стыдно, что я тупой, помогите разобраться братья))) https://www.cyberforum.ru/ mathematical-logic-sets/ thread1841006.html Логика и множества Определите корень логического уравнения
Определите корень Х = ЭФ(А, В) логического уравнения Основное уравнение я упростил, что дальше? Упрощенное уравнение: !A!B+!A!X+!B!X+ABX=!B!X+A!B
Логика и множества Преобразовать выражение https://www.cyberforum.ru/ mathematical-logic-sets/ thread1840861.html
Понимаю что не по теме ,но можете помочь преобразить. X=(BvBvA&C)&(not(B)&CvCvnot(A))
Логика и множества Докажите равенство множеств https://www.cyberforum.ru/ mathematical-logic-sets/ thread1840801.html
(B\!C)∪(B\!A)=B\(!(C∪A)) p.s.Я в мат.логике совсем 0, !-это палочка сверху,отрицание. В конце примера там где мы b делим на с∪а,с∪а все под отрицанием). Будьте добры,помогите пожалуйста,очень выручите.
Перечислить все элементы множества А Логика и множества
A={1,2,3}\{{1},{2,3}} Разностью множеств а и b называют множества которые только принадлежат a и не принадлежат b. Какой будет здесь ответ? 1?
Логика и множества Мощность множества Q^2 https://www.cyberforum.ru/ mathematical-logic-sets/ thread1840679.html
Приветствую, есть множество Q^2(множество рациональных чисел в квадрате), никак не могу понять какая у него мощность, помогите разобраться.
88 / 86 / 55
Регистрация: 14.11.2015
Сообщений: 1,099
05.11.2016, 21:17  [ТС] 0

Раскрытие скобок при выполнении операций над множестами - Логика и множества - Ответ 9731197

05.11.2016, 21:17. Показов 4736. Ответов 5
Метки (Все метки)

Ответ

С этим примером разобрался. Скажите, как можно логически приходить к тому соблюдается какое-то свойство или нет? А то в википедии приходиться постоянно смотреть, а если заучивать то толку не будет.

Вот, например, у меня есть выражение https://www.cyberforum.ru/cgi-bin/latex.cgi?[A\bar B+(A+\bar B)]A\bar B. Я посмотрел что в вики что операция пересечения дистрибутивна относительно операции объединения. То есть я могу упростить до
https://www.cyberforum.ru/cgi-bin/latex.cgi?A\bar BA\bar B+A\bar B(A+\bar B)

https://www.cyberforum.ru/cgi-bin/latex.cgi?A\bar B + A\bar B(A+\bar B)

А дальше я могу раскрывать скобки или нет?
Если да, то получим

https://www.cyberforum.ru/cgi-bin/latex.cgi?A\bar B + (A\bar B) A + (A\bar B) \bar B

https://www.cyberforum.ru/cgi-bin/latex.cgi?A\bar B + A\bar B + A\bar B

https://www.cyberforum.ru/cgi-bin/latex.cgi?A\bar B

Вернуться к обсуждению:
Раскрытие скобок при выполнении операций над множестами Логика и множества
0
Заказать работу у эксперта
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
05.11.2016, 21:17
Готовые ответы и решения:

Множества, раскрытие скобок
x принадлежит(A U B) в отрицании => x не принадлежит A(без отрицания) или x не принадлежит B(без...

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

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

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

5
05.11.2016, 21:17
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
05.11.2016, 21:17
Помогаю со студенческими работами здесь

Приоритет логических операций и операций над множествами.
солидняк Я просто устал переписывать)) поэтому решил уже расписать, разжевать так сказать)). Эту...

Устранить округление при выполнении арифметических операций над числами
Если написать так pk равен 833 long long S=Edit1->Text.ToInt(); long long...

Создается ли новый делегат при выполнении над ним операций += или -+
A) Да, только для операции -= B) Да, только для операции += C) Нет D) Да

Исследование состояний стека и очереди при выполнении над ними различных операций доступа
В некотором языке программирования операторы располагаются в разных строках. Строки программы...

0
Новые блоги и статьи
Преобразование полей (элементов управления содержимым) в обычный текст
РоΜа 23.01.2025
Возникла необходимость преобразовать поля в текст (те, что на вкладке разработчик добавляются) . Помучившись родил следующее: Sub ПоляВТекст() Преобразует все поля в текст (даты, текст,. . .
Как проверить существование директории в скрипте Bash
bt_guru 23.01.2025
При разработке скриптов Bash одной из ключевых задач является корректная работа с файловой системой, где особое место занимает проверка существования директорий. Эта операция становится критически. . .
Как работают срезы (slice) в Python
bytestream 23.01.2025
Python предоставляет разработчикам мощный и гибкий инструмент для работы с последовательностями данных - срезы (slices). Эта функциональность позволяет извлекать, модифицировать и управлять. . .
Как удалить подмодуль (submodule) в Git
bytestream 23.01.2025
При работе с крупными проектами в системе контроля версий Git разработчики часто сталкиваются с необходимостью управления зависимостями и внешними компонентами. Подмодули (submodules) представляют. . .
В чем разница между @staticmethod и @classmethod в Python. Декораторы методов
bytestream 23.01.2025
В Python декораторы методов представляют собой мощный инструмент, позволяющий модифицировать поведение функций и методов без изменения их исходного кода. Эта возможность является одной из. . .
Как преобразовать InputStream в String в Java
bytestream 23.01.2025
В мире Java-разработки работа с потоками данных является одной из ключевых операций при создании современных приложений. InputStream, как фундаментальный класс для обработки входных потоков данных,. . .
Как обновить форк (ответвление) репозитория в Git
bytestream 23.01.2025
Одним из наиболее мощных инструментов Git для организации совместной работы является механизм форкинга репозиториев, который позволяет создавать независимые копии проектов для дальнейшей разработки. . . .
Как работает async/await в C#. Асинхронное программировани­е в .NET
bytestream 23.01.2025
Введение в асинхронное программирование Асинхронное программирование представляет собой важнейшую концепцию современной разработки программного обеспечения, особенно в контексте создания. . .
КуМир: полное руководство
bytestream 23.01.2025
Введение в КуМир: история создания и назначение КуМир (Комплект Учебных МИров) представляет собой образовательную среду программирования, которая была создана для обучения основам алгоритмизации и. . .
Что такое OLAP. Где и как использовать многомерный анализ данных
bytestream 23.01.2025
Введение в OLAP-технологии В современном мире бизнес-аналитика и обработка больших массивов данных играют ключевую роль в принятии стратегических решений. Организации накапливают огромные объемы. . .
MongoDB: что это, для чего нужна и как использовать
bytestream 23.01.2025
Введение в MongoDB: современная документоориентированная СУБД В современном мире разработки программного обеспечения выбор правильной системы управления базами данных является критически важным. . .
Как использовать закрытый ключ шифрования в Git. Шифрование в Git
bytestream 23.01.2025
Установка и настройка закрытых ключей в Git предоставляет дополнительный уровень безопасности для работы с репозиториями. Для начала необходимо создать пару ключей, обычно это осуществляется с. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru