Контрольная работа по математической логике и ТА
1. Используя таблицу истинности, установить эквивалентность функций в формуле.
2. Определить к каким классам (константы нуля, константы единицы, самодвойственных функций, монотонных функций, линейных функций, симметрических функций) относится функция следующего вида.
3. Необходимо для данной ФАЛ f(x1,x2,x3,x4) найти ее ДСНФ, КСНФ, ПСНФ, ЭСНФ, ИСНФ, принимающей значение 1 на следующих наборах.
4. Используя метод неопределенных коэффициентов, необходимо найти МДНФ функции f(x1,x2,x3), принимающей значение 1 на наборах.
5. Используя метод Квайна, необходимо найти МДНФ функции f(x1,x2,x3,x4), принимающей значение 1 на наборах.
6. Используя метод Квайна- Мак - Класки , необходимо найти МДНФ функции f(x1,x2,x3,x4), принимающей значение 1 на наборах .
7. Используя метод диаграмм Вейча, необходимо найти МДНФ функции f(x1,x2,x3,x4), принимающей значение 1 на наборах.
