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

88 А)      , f x y x y x y   , Б)     , , f x y z xyz x y z     , В)     , f x y x x y    . Задание 3. 1) Определить принадлежность функции f классу L (линейных функций). 2) Если возможно, с помощью подстановок получить конъюнкцию через f . А)   1 2 3 1 2 2 3 1 3 , , f x x x x x x x x x    . Выразить 1 2 x x через   1 2 3 , , f x x x . Б)   1 2 3 1 2 3 1 3 2 , , 1 f x x x x x x x x x     . Выразить а) 1 3 x x , б) 1 2 x x , в) 2 3 x x через   1 2 3 , , f x x x . Лабораторная работа 10 Тема: Исчисление высказываний Задание (общее для всех задач): Решить логическую задачу двумя способами: по одной из двух теорем, и с помощью резолютивного вывода. Задача 1 . Известно, что после того, как сверкнет молния, должен грянуть гром. Молния сверкнула, следовательно, и гром должен грянуть.