Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

83 7. | x y xy x y    8. x y x y x y      9. 1 x x   10. 1 x y x y    11. 1 x y x xy     12. x y xy x y   Задание 1. Проверить является ли функция константой двумя способами: через приведение к ДНФ и таблично. А)           , , f x y z x y x z y z       Б)         , , f x y z x y z x yz     Задание 2. Показать, что 1 x является фиктивной переменной функции f , выразив f формулой, в которую переменная 1 x явно не входит. А)       1 2 1 2 1 2 , f x x x x x x     Б)           1 2 3 3 2 1 2 1 3 1 3 , , f x x x x x x x x x x x      В)           1 2 3 1 2 1 3 1 2 3 2 , , f x x x x x x x x x x x      Задание 3. Для функции   1 2 3 1 2 1 3 2 3 , , f x x x x x x x x x    доказать самодвойственность двумя способами: по правилу двойственности   1 1 3 , , f f x x x   и таблично. Задание 4.