Контрольная работа на тему «Математическая логика и теория алгоритмов 3917»

Обзор работы

Демо работы

Нет файлов

Описание работы

Описание работы

Пример 1.
Используя таблицу истинности, установить эквивалентность функций в формуле:
f(x_1,x_2,x_3)=((x_1 ) ?x_2?x_3 )>[(((x_2 ) ??x_1 ) ?)v(x_3 ) ? ]=[(x_1?(x_2 ) ? )|(x_3 ) ? ]>[(((x_2 ) ?vx_1 ) ?>(x_2v(x_1 ) ?)) ? ]
Решение:
Построение таблицы истинности
Пример 2.

Используя основные законы и соотношения алгебры логики, необходимо установить справедливость следующей формулы:
[(x_1?x_2)>x_3 ]v(x_1 x_2 x_3?1)=(x_1>(x_2 |x_3)) ?

Пример 3.

Определить к каким классам (константы нуля, константы единицы, самодвойственных функций, монотонных функций, линейных функций, симметрических функций) относится функция следующего вида:
f(x_1,x_2,x_3 )=(x_1 ) ? (x_2 ) ??x_3?(x_3 ) ? x_1

Пример 4.

Необходимо для данной ФАЛ f(x_1,x_2,x_3,x_4 ) найти ее ДСНФ, КСНФ, ПСНФ, ЭСНФ, ИСНФ принимающей значение 1 на следующих наборах: 2,7,8,9,10,11

Пример 5.
Используя метод неопределенных коэффициентов, необходимо найти МДНФ функции f(x_1,x_2,x_3 ) принимающей значение 1 на наборах: 1,2,5,7

Пример 6
Используя метод Квайна, необходимо найти МДНФ функции f(x_1,x_2,x_3,x_4 ) принимающей значение 1 на наборах: 0,3,7,8,9,13,14,15

Пример 7

Используя метод Квайна – Мак-Класки, необходимо найти МДНФ функции F(x_3,x_2,x_1,x_0 ) принимающей значения 1 на наборах: 2, 3, 4, 5, 10, 13, 14

Пример 8.

Используя метод диаграмм Вейча, необходимо найти МДНФ функции F(x_3,x_2,x_1,x_0 ) принимающей значения 1 на наборах: 0, 4, 5, 6, 7, 134, 15

Пример 9.

Доопределить функцию f(x_1,x_2,x_3,x_4 )=0,3,7,8,11,13*,14,15*

Пример 10.
Найти производную третьего порядка f(x_1,x_2,x_3 )=(x_1 ) ? (x_2 ) ??x_3
Оцените статью
Сессия под ключ дистанционно
Добавить комментарий

Заявка на расчет