Обосновать тождество Методом включения поначалу левой доли в правую , а

не разумею обозначений, \, /\, \/

на клавиатуре нет дугообразных обозначений

булевы функции

Симметричная разность множеств А и В ( пишется А \ В ) есть множество:А \ В = ( А В )\/( В А ).

так?

ага

Как я разумею, нельзя просто конвертировать выражения и показать их равенства, а надобно долго и обширно рассуждать.
Итак, пусть х  A\B (это кстати просто разность множеств, не симметрическая). Тогда из свойств операций над множествами правильно, что х  А  -B (буду означать отрицание минусом). Сейчас посмотрим на правую часть. Пусть х  А\(АВ), отсюда вновь же правильно, что х  А  х  -(АВ), либо же по закону де Моргана х  А  х  -А-В, либо же х  А  (х  -А х -В), либо же  по принципу дистрибутивности (х  А  х  -А)  (х А х -В), и отсюда в конце концов по принципу дополнения х   х  А  -В, и по свойству нуля х  А  -В. Как мы лицезреем, левая часть в этом смысле схожа правой. То есть в принципе теснее равенство верно. Наверное, подразумевается, что сначала надо из левой доли вывести правую, а позже напротив. Здесь надобно будет просто продолжить этот ряд операций в другую сторону, если вправду надобно.
2) Способ, окончательно, какая-то жесть в смысле записи, поэтому я просто преобразую левую часть в правую и позже напротив как логические выражения без упоминания ссылок на определенные характеристики.
A\(B\C)=(A\B)\/(A/\C)
Работаем с левой долею:
A\(B\C) = А  -(В\С) = А  -(В-С) = А  (-В С) = (А  -В)  (А С) = (А\В)  (А С) - вывели правую. Из правой левую - повторяем всю цепочку деяний, но напротив.

А в конце для проверки диаграммы.