Рекомендуемая категория для самостоятельной подготовки:
Контрольная работа*
Код |
296675 |
Дата создания |
04 апреля 2014 |
Страниц |
5
|
Мы сможем обработать ваш заказ (!) 24 декабря в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Описание
Построение таблиц истинности, нахождение СКНФ и СДНФ, упрощение формул, доказательство равносильности выражений, построение релейно-контактных и функциональных схем, использование кванторных форм логики предикатов. ...
Содержание
Задание 1. Построить таблицу истинности для формулы. Определить вид формулы (тождественно истинная, тождественно ложная, выполнимая, опровержимая).
Задание 2. По полученной таблице истинности построить: а) СДНФ; б) СКНФ.
Задание 3. Упростить полученные в задании 2 формулы, используя законы алгебры логики.
Задание 4. Доказать с помощью таблицы истинности равносильность упрощенных формул (задание 3) и исходной (задание 1).
Задание 5. Построить релейно-контактные схемы, соответствующие упрощенным формулам СДНФ и СКНФ (задание 3).
Задание 6. Составить функциональные схемы на базе электронных логических элементов, реализующие логические функции из заданий 2 и 3.
Задание 7. Разбить предложение на элементарные и записать в виде кванторной формулы логики предикатов, используя наименьшее возможноечисло предикатов наименьшей местности
Введение
Построение таблиц истинности, нахождение СКНФ и СДНФ, упрощение формул, доказательство равносильности выражений, построение релейно-контактных и функциональных схем, использование кванторных форм логики предикатов.
Фрагмент работы для ознакомления
Задание 4. Доказать с помощью таблицы истинности равносильность упрощенных формул (задание 3) и исходной (задание 1).Построим таблицу истинности для упрощённой формулы:ABC1111111111011111101111111001101001111111010101000010110000000000Таким образом, совпадение значений из таблиц истинности для исходной и упрощённой формул доказывают ранее установленную равносильность.Задание 5. Построить релейно-контактные схемы, соответствующие упрощенным формулам СДНФ и СКНФ (задание 3).:б) ~ ~~ ~~ :Задание 6. Составить функциональные схемы на базе электронных логических элементов, реализующие логические функции из заданий 2 и 3.а) :б) :с) :д) :Задание 7.
Список литературы
Мендельсон "Математическая логика"
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
Другие контрольные работы
bmt: 0.00352