книга DipMaster-Shop.RU
поиск
карта
почта
Главная На заказ Готовые работы Способы оплаты Партнерство Контакты F.A.Q. Поиск
Четные решения дифференциальных уравнений ( Курсовая работа, 43 стр. )
Численные методы ( Контрольная работа, 18 стр. )
Численные методы интегрирования ( Контрольная работа, 11 стр. )
Численные методы решения нелинейных алгебраических уравнений с одной переменной. п464 ( Контрольная работа, 6 стр. )
Численные методы решения систем дифференциальных уравнений ( Курсовая работа, 40 стр. )
Что называется функцией ( Контрольная работа, 24 стр. )
Эадачи 6756655 ( Контрольная работа, 10 стр. )
Эвристический подход к построении математических доказательств в рамках логического подхода.787 ( Курсовая работа, 42 стр. )
Эквивалентность бесконечно малых ( Контрольная работа, 2 стр. )
Экзаменационные задания по дисциплине «Высшая математика» ч. 1 – 3 (ВК 96) ( Контрольная работа, 5 стр. )
Экон. Матмодели. Верификация, классификация, генезис матмоделей (ФинАкад) ( Контрольная работа, 17 стр. )
Эконометрическое моделирование стоимости квартир в Московской области ( Контрольная работа, 23 стр. )
экономико- математические методы моделирования. ( Контрольная работа, 5 стр. )
Экономико-математическое моделирование Вариант № 355 ( Контрольная работа, 36 стр. )
Экономико-математическое моделирование вар 87 задачи 1,2,5 ( Контрольная работа, 17 стр. )
Экономико-математические методы и модели ( Контрольная работа, 7 стр. )
Экономико-математические методы ( Контрольная работа, 17 стр. )
Экстремумы функций многих переменных ( Курсовая работа, 26 стр. )
Экстремумы функций одной переменной ( Контрольная работа, 26 стр. )
Элементарными преобразованиями матрицы решить систему уравнений ( Контрольная работа, 17 стр. )
Элементы аналитической геометрии на прямой плоскости в трехмерном пространстве рк ( Дипломная работа, 123 стр. )
Элементы векторного анализа ( Курсовая работа, 52 стр. )
Элементы векторной алгебры ( Курсовая работа, 63 стр. )
Элементы исследования функции с помощью производной. н754п ( Курсовая работа, 31 стр. )
Элементы линейной алгебры. ( Реферат, 42 стр. )

Задание 1.

Определить, является ли справедливой приведённая формула алгебры высказываний, не прибегая к составлению таблицы истинности, а используя только свойства соответствующих операций:

где А, В, С, D, Е - простые высказывания.

Задание 2.

Для указанной функции трёх переменных: f (х1, х2, х3) - принимает единичные значения на наборах № 0, 1, 3, 6, 7.

- составить таблицу истинности;

- определить, к каким классам булевых функций она относится;

- записать совершенные ДНФ и КНФ;

- найти минимальную ДНФ;

- для полученной минимальной ДНФ построить логическую схему в базисах:

а) (дизъюнкция, отрицание);

б) (конъюнкция, отрицание).

Задание 3.

Является ли полной система булевых функций, состоящая из импликации и отрицания? Доказать полноту (или неполноту) приведённой системы булевых функций, состоящей из импликации и отрицания.

Контрольная работа № 3.

Задание 1.

Определить, является ли справедливой приведённая формула алгебры высказываний, не прибегая к составлению таблицы истинности, а используя только свойства соответствующих операций:

где А, В, С, D, Е - простые высказывания.

Решение:

По правилу Моргана получаем

Нет полного совпадения с правой частью приведённой формулы. Значит, она не является справедливой.

Задание 2.

Для указанной функции трёх переменных: f (х1, х2, х3) - принимает единичные значения на наборах № 0, 1, 3, 6, 7.

- составить таблицу истинности;

- определить, к каким классам булевых функций она относится;

- записать совершенные ДНФ и КНФ;

- найти минимальную ДНФ;

- для полученной минимальной ДНФ построить логическую схему в базисах:

а) (дизъюнкция, отрицание);

б) (конъюнкция, отрицание).

1. Игошин В.И. Математическая логика и теория алгоритмов: Учеб. пособие для студ. высш. учеб. заведений. - М.: Издательский центр "Академия", 2004.

2. Москинова Г.И. Дискретная математика. Математика для менеджера в примерах и упражнениях: Учебное пособие. - М.: Логос, 2004.

Примечаний нет.

2000-2024 © Copyright «DipMaster-Shop.ru»