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

79 фиктивности перечислите все пары наборов для каждой переменной. А)     1 2 3 , , 11110000 f x x x  Б)     1 2 3 , , 00110011 f x x x  В)     1 2 3 , , 01011010 f x x x  Г)     1 2 3 , , 00111100 f x x x  Д)     1 2 1 2 2 , f x x x x x    Е)       1 2 3 1 1 2 3 , , f x x x x x x x     Лабораторная работа 3 Тема: Логические функции Задание 1. Найти значение функции   , f x y с помощью упрощений. А)   x y x   (доказать, что выражение тождественно истинно), Б) xy x  (доказать, что выражение тождественно ложно), В)   xy x y xy x y    (доказать, что выражение тождественно ложно). Теория (поглощение, склеивание, обобщенное склеивание, расщепление) А) Поглощение: x xy x   . Доказательство.   1 1 1 x xy x xy x y x x          .