Главное меню

Вход на сайт

Кто на сайте?

Сейчас 100 гостей и ни одного зарегистрированного пользователя на сайте

Доказать, что если логическая функция не является самодвойственной, то существует набор Imageтакой, что Image

Решение

Из определения самодвойственной функции следует, что
Image
Поскольку наша функция не самодвойственна, то
Image
но тогда существует только вторая альтернатива (напомним, что Image), а, следовательно,              
Image
что и требовалось доказать.

У Вас недостаточно прав для добавления комментариев.
Вам необходимо зарегистрироваться на сайте