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

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

05.11.2016, 13:57. Показов 4795. Ответов 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
Ответ Создать тему
Новые блоги и статьи
Контейнеризация React приложений с Docker
Reangularity 03.04.2025
Контейнеризация позволяет упаковать приложение со всеми его зависимостями в автономный контейнер, который можно запустить на любой платформе с установленным Docker. Это существенно упрощает процессы. . .
Свой попап в SwiftUI
mobDevWorks 03.04.2025
SwiftUI, как декларативный фреймворк от Apple, предоставляет множество инструментов для создания пользовательских интерфейсов. В нашем распоряжении есть такие API как alerts, popovers, action sheets. . .
Антипаттерны микросервисной архитектуры
ArchitectMsa 03.04.2025
Хорошо спроектированная микросервисная система может выдержать испытание временем, оставаясь гибкой, масштабируемой и устойчивой к большинству проблем. Такая архитектура обладает высоким уровнем. . .
std::mutex в C++: Советы и примеры использования
bytestream 03.04.2025
std::mutex - это механизм взаимного исключения, который гарантирует, что критический участок кода выполняется только одним потоком в каждый момент времени. Это простое, но могущественное средство. . .
Не удержался от оценки концепции двигателя Стирлинга.
Hrethgir 03.04.2025
Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .
Метод с двумя буферами (или double buffering) или ping-pong buffering
Hrethgir 02.04.2025
Из ответов LM модели. Метод, который предполагает использование двух массивов для хранения промежуточных результатов сложения векторов, обычно применяется в сценариях, где необходимо минимизировать. . .
На любовном киберфронте
Alexander-7 01.04.2025
Недавно на одном малоизвестном сайте знакомств мною заинтересовалась девушка: «Текст немного странный. Но, судя по адресу почты, иностранка», – подумал я. Поколебавшись пару суток, я ответил ей:. . .
Как работает Node.js изнутри
run.dev 29.03.2025
Node. js изменил подход к разработке веб-приложений, позволив использовать JavaScript не только на стороне клиента, но и на сервере. Созданный в 2009 году Райаном Далем, этот открытый,. . .
Моки в Python: Mock Object Library
py-thonny 29.03.2025
Тестирование кода требует особого подхода, когда речь идёт о компонентах, взаимодействующих с внешним миром. Мы часто сталкиваемся с непредсказуемостью HTTP-запросов, чтением данных из базы или. . .
JavaScript: Управление памятью и улучшение производительности
run.dev 29.03.2025
В отличие от низкоуровневых языков программирования, JavaScript не требует ручного выделения и освобождения памяти. Здесь работает автоматический сборщик мусора, который определяет, какие объекты. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru
Выделить код Копировать код Сохранить код Нормальный размер Увеличенный размер