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