Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.56/25: Рейтинг темы: голосов - 25, средняя оценка - 4.56
88 / 86 / 55
Регистрация: 14.11.2015
Сообщений: 1,099

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

05.11.2016, 13:57. Показов 4797. Ответов 5
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Объясните, почему https://www.cyberforum.ru/cgi-bin/latex.cgi?A\oplus(AB)=A\bar B.

Я так понимаю мы должны раскрыть скобки в следующем выражении: https://www.cyberforum.ru/cgi-bin/latex.cgi?A\oplus((A-B)+(B-A)). Как это сделать?
0
Лучшие ответы (1)
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
05.11.2016, 13:57
Ответы с готовыми решениями:

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

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

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

5
Эксперт по математике/физике
5014 / 3626 / 1163
Регистрация: 01.09.2014
Сообщений: 9,787
05.11.2016, 19:52
Лучший ответ Сообщение было отмечено Artmal как решение

Решение

Пересечение дистрибутивно относительно симметрической разности: https://www.cyberforum.ru/cgi-bin/latex.cgi?X(Y\oplus Z)=XY\oplus XZ. Также U — универсальное множество — выполняет роль единицы для пересечения. Таким образом, https://www.cyberforum.ru/cgi-bin/latex.cgi?A\oplus AB=AU\oplus AB=A(U\oplus B)=A\bar{B}.

Можно продолжить и ваше предложение, если использовать https://www.cyberforum.ru/cgi-bin/latex.cgi?A-B=A\bar{B}.
1
88 / 86 / 55
Регистрация: 14.11.2015
Сообщений: 1,099
05.11.2016, 21:17  [ТС]
С этим примером разобрался. Скажите, как можно логически приходить к тому соблюдается какое-то свойство или нет? А то в википедии приходиться постоянно смотреть, а если заучивать то толку не будет.

Вот, например, у меня есть выражение 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
Эксперт по математике/физике
5014 / 3626 / 1163
Регистрация: 01.09.2014
Сообщений: 9,787
05.11.2016, 21:33
Цитата Сообщение от Artmal Посмотреть сообщение
https://www.cyberforum.ru/cgi-bin/latex.cgi?A\bar B + A\bar B(A+\bar B)

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

Основные законы алгебры множеств (их штук 20) имеет смысл запомнить.
1
88 / 86 / 55
Регистрация: 14.11.2015
Сообщений: 1,099
05.11.2016, 21:38  [ТС]
А у вас, случайно, нет ссылки на полный список этих законов? Поискал, почти везде перечисленны только 10 или того меньше.
0
Эксперт по математике/физике
5014 / 3626 / 1163
Регистрация: 01.09.2014
Сообщений: 9,787
05.11.2016, 21:46
Вот неплохой список. https://www.cyberforum.ru/cgi-bin/latex.cgi?\triangle — это симметрическая разность.
1
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
05.11.2016, 21:46
Помогаю со студенческими работами здесь

Доказать равенства, используя свойства операций над множествами и определения операций
Доказать равенства, используя свойства операций над множествами и определения операций. б) Ax(B\C)=(AxB)\(AxC). Почему график не...

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

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

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

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


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
6
Ответ Создать тему
Новые блоги и статьи
Обмен данными в микросервисной архитектуре
ArchitectMsa 06.04.2025
Когда разработчики начинают погружаться в мир микросервисов, они часто сталкиваются с парадоксальным правилом: "два сервиса не должны делить один источник данных". Эта мантра звучит повсюду в. . .
PostgreSQL в Kubernetes: Автоматизация обслуживания с CNPG
Mr. Docker 06.04.2025
Администраторы баз данных сталкиваются с целым рядом проблем при обслуживании PostgreSQL в Kubernetes: как обеспечить правильную репликацию данных, как настроить автоматическое переключение при. . .
Async/await в TypeScript
run.dev 06.04.2025
Асинхронное программирование — это подход к разработке программного обеспечения, при котором операции выполняются независимо друг от друга. В отличие от синхронного выполнения, где каждая последующая. . .
Многопоточность в C#: Синхронизация потоков
UnmanagedCoder 06.04.2025
Многопоточное программирование стало неотъемлемой частью разработки современных приложений на C#. С появлением многоядерных процессоров возможность выполнять несколько задач параллельно значительно. . .
TypeScript: Классы и конструкторы
run.dev 06.04.2025
TypeScript, как статически типизированный язык, построенный на основе JavaScript, привнес в веб-разработку новый уровень надежности и структурированности кода. Одним из важнейших элементов этой. . .
Многопоточное программирование: Rust против C++
golander 06.04.2025
C++ существует уже несколько десятилетий и его поддержка параллелизма постепенно наращивалась со временем. Начиная с C++11, язык получил стандартную библиотеку для работы с потоками, а в последующих. . .
std::vector в C++: от основ к оптимизации производительности
NullReferenced 05.04.2025
Для многих программистов знакомство с std::vector происходит на ранних этапах изучения языка, но между базовым пониманием и подлинным мастерством лежит огромная дистанция. Контейнер std::vector. . .
Реляционная модель и правила Кодда: фундамент современных баз данных
Codd 05.04.2025
Конец 1960-х — начало 1970-х годов был периодом глубоких трансформаций в области хранения и обработки данных. На фоне растущих потребностей бизнеса и правительственных структур существовавшие на тот. . .
Асинхронные операции в Django с Celery
py-thonny 05.04.2025
Разработчики Django часто сталкиваются с проблемой, когда пользователь нажимает кнопку отправки формы и. . . ждёт. Секунды растягиваются в минуты, терпение иссякает, а интерфейс приложения замирает. . . .
Использование кэшей CPU: Максимальная производительность в Go
golander 05.04.2025
Разработчикам хорошо известно, что эффективность кода зависит не только от алгоритмов и структур данных, но и от того, насколько удачно программа взаимодействует с железом. Среди множества факторов,. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru
Выделить код Копировать код Сохранить код Нормальный размер Увеличенный размер