Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 45000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою работу

Контрольная работа по предмету «Математическая логика и теория принятия решений»

Номер заказа
121568
Создан
18 марта 2014
Выполнен
2 января 1970
Стоимость работы
130
Не получается сделать. Надо срочно сделать контрольную работу по высшей математике. Есть буквально 1 день. Тема работы «Контрольная работа по предмету «Математическая логика и теория принятия решений»».
Всего было
18 предложений
Заказчик выбрал автора
Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 45000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою работу
Или вы можете купить эту работу...
Страниц: 5
Оригинальность: Неизвестно
130
Не подошла
данная работа?
Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу

Построение таблиц истинности, нахождение СКНФ и СДНФ, упрощение формул, доказательство равносильности выражений, построение релейно-контактных и функциональных схем, использование кванторных форм логики предикатов.
Построение таблиц истинности, нахождение СКНФ и СДНФ, упрощение формул, доказательство равносильности выражений, построение релейно-контактных и функциональных схем, использование кванторных форм логики предикатов.
Задание 1. Построить таблицу истинности для формулы. Определить вид формулы (тождественно истинная, тождественно ложная, выполнимая, опровержимая).
Задание 2. По полученной таблице истинности построить: а) СДНФ; б) СКНФ.
Задание 3. Упростить полученные в задании 2 формулы, используя законы алгебры логики.
Задание 4. Доказать с помощью таблицы истинности равносильность упрощенных формул (задание 3) и исходной (задание 1).
Задание 5. Построить релейно-контактные схемы, соответствующие упрощенным формулам СДНФ и СКНФ (задание 3).
Задание 6. Составить функциональные схемы на базе электронных логических элементов, реализующие логические функции из заданий 2 и 3.
Задание 7. Разбить предложение на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможное Показать все
Мендельсон "Математическая логика"
Построим таблицу истинности для упрощённой формулы:ABC1111111111011111101111111001101001111111010101000010110000000000Таким образом, совпадение значений из таблиц истинности для исходной и упрощённой формул доказывают ранее установленную равносильность.Задание 5. Построить релейно-контактные схемы, соответствующие упрощенным формулам СДНФ и СКНФ (задание 3).:б) ~ ~~ ~~ :Задание 6.
Автор24 - это фриланс-биржа. Все работы, представленные на сайте, загружены нашими пользователями, которые согласились с правилами размещения работ на ресурсе и обладают всеми необходимыми авторскими правами на данные работы. Скачивая работу вы соглашаетесь с тем что она не будет выдана за свою, а будет использована исключительно как пример или первоисточник с обязательной ссылкой на авторство работы. Если вы правообладатель и считаете что данная работа здесь размещена без вашего разрешения - пожалуйста, заполните форму и мы обязательно удалим ее с сайта. Заполнить форму
Оценим бесплатно
за 10 минут
Эта работа вам не подошла?
У наших авторов вы можете заказать любую учебную работу от 200 руб.
Оформите заказ и авторы начнут откликаться уже через 10 минут!
Заказать контрольную работу