1
0
1
1
1
0
0
0
1
1
0
0
1
0
1
0
1
0
1
1
1
1
0
1
1
1
0
0
1
1
1
1
1
1
0
0
Сравним полученные таблицы истинности и выберем те строки, в которых значенияисовпадут.
0 | 0 | 0 | 0 | 1 |
0 | 0 | 1 | 1 | 1 |
0 | 1 | 0 | 1 | 0 |
0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 |
1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 0 | 0 |
Перепишем только выбранные строки, оставив только столбцы аргументов. Посмотрим на переменную Х как на функцию от A и B .
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 0 |
1 | 1 | 1 |
Очевидно, что.
Второй способ решения - заменить знак равенства в уравнении на знак эквиваленции, а затем упростить полученное логическое уравнение.
Для облегчения дальнейшей работы предварительно упростим правую и левую части логического уравнения и найдем их отрицания:
Заменим в нашем логическом уравнении знак равенства на знак эквивалентности:
Обозначим через , тогда
.
Следовательно, что логическое уравнение имеет решение:
.
Ответ:
ЗаключениеВ курсовой работе были рассмотрены решения логических функций и уравнений с помощью двух основных методов: 1) построением таблицы истинности; 2) упрощением и разбиением на части. В результате проделанной работы можно сделать следующий вывод, что эти методы являются более рациональными и удобными при решении данных задач.
Первый способ позволяет выделить из класса формул всегда истинные формулы и всегда ложные формулы, установить отношение логического следования между формулами, их эквивалентность.
Преимуществом второго способа является то, что при помощи простых выражений можно упростить сложные утверждения и проверить их истинность.
Список литературы1. Лапшева Е.Е. Элементы математической логики - Саратов, 2007.
2. Тесты ЕГЭ по информатики.
3.
.
. http://localhost/C:/DOCUME~1/9335~1/LOCALS~1/Temp/Rar$EX48.515/algebra.htm
Похожие работы
Тема: «Excel. Использование функций рабочей таблицы. Аргументы. Мастер функций. Логические, информационные функции и функции работы со ссылками и массивами» |
Предмет/Тип: Другое (Реферат) |
Тема: Программируемые логические контроллеры: типы и функции |
Предмет/Тип: Отсутствует (Реферат) |
Тема: Математические уравнения и функции |
Предмет/Тип: Математика (Контрольная работа) |
Тема: Математические уравнения и функции |
Предмет/Тип: Математика (Контрольная работа) |
Тема: Уравнения свертки. Обобщенные функции |
Предмет/Тип: Математика (Курсовая работа (т)) |
Интересная статья: Быстрое написание курсовой работы