Учебная работа № 5925. «Контрольная Алгебра логики 8 вариант
Учебная работа № 5925. «Контрольная Алгебра логики 8 вариант
Содержание:
«Задание 1
Доказать тождество с помощью алгебры логики (с помощью таблиц истинности).
(AUB) ̅=A ̅∩(B.) ̅
Задание 2
С помощью таблиц истинности установить, будут ли эквивалентны формулы:
xV(y→z) и (xVy)→(xVz)
Задание 3
Найти СДНФ и СКНФ булевой функции f(x,y,z). Найти полином Жегалкина для данной функции и установить, к каким классам Поста относится функция.
f(x,y,z)=(x|y ̅)Ɵ(z ̅→x)
»
Выдержка из похожей работы
высшей математики и программного
обеспечения ЭВМ МГТУ,
Мостовская
Любовь Григорьевна, доцент кафедры
высшей математики и программного
обеспечения ЭВМ МГТУ
Методические рекомендации рассмотрены
и одобрены кафедрой ВМ и ПО 13 февраля
2008 г,, протокол № 5
Рецензент – Кацуба В,С,, канд, физ,-мат,
наук, доцент кафедры высшей математики
и программного обеспечения ЭВМ
Мурманский
государственный технический университет,
2008
ОглавлениеСтр,
Введение 4
Задания на
контрольную работу по теме «Специальные
разделы высшей математики» 5
Содержание
теоретического материала и ссылки на
литературу 9
Справочный материал
к выполнению контрольной работы 10
1, Алгебра логики 101,1,
Высказывания и операции над ними 101,2,
Формулы алгебры логики 121,3,
Приложение алгебры логики, Релейно-контактые
схемы 14
2, Булевы функции 16
3, Графы 183,1
