Док-во тождеств через аксиому объемности

[Sleep3r]

Как правильно доказывать тождества через аксиому объемности? Например такие вот:
1. $(X \cap Y) \cup (X \cap \overline{Y}) = X$
2. $X \times (Y \cup Z) = (X \times Y) \cup (X \times Z)$
Если первое я хоть примерно понимаю, как доказывать, то второе для меня - загадка.

[NDP]

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

[Pphantom]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- отсутствуют собственные содержательные попытки решения задачи.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.