Поучительным подходом будет использование характеристической функции.
Характеристическая функция множества берет на вход некоторый элемент (универсального множества) и возвращает 1, если этот элемент принадлежит , и 0 в противном случае.
Иными словами, .
Исходя из этого, . Понятно, что , поэтому (первый переход опирается на правило де Моргана).
Возьмем характеристическую функцию от двух частей равенства. Слева: . Справа: (убедитесь сами: понятно, что ), что и доказывает требуемое.
Поучительным подходом будет использование характеристической функции.
Характеристическая функция множества
берет на вход некоторый элемент (универсального множества) и возвращает 1, если этот элемент принадлежит
, и 0 в противном случае.
Иными словами,
.
Исходя из этого,
. Понятно, что
, поэтому
(первый переход опирается на правило де Моргана).
Возьмем характеристическую функцию от двух частей равенства. Слева:
. Справа:
(убедитесь сами: понятно, что
), что и доказывает требуемое.