Вариант 18
1) Построить вывод для
X⇒Y |-(X⇒(Y⇒Z))⇒(X⇒Z)
Решение
1. X⇒Y - гипотеза
2. Х - гипотеза
3. Y (МР к 2, 1)
4. Y⇒Z - гипотеза
5. По аксиоме:
(X⇒(Y⇒Z))⇒((X⇒Y)⇒(X⇒Z))
6. ((X⇒Y)⇒(X⇒Z))⇒(X⇒Z)⇒(X⇒X)
2) Выводима ли из (A∨A ̅) формула ((A∨A ̅)) ̅
Решение
Выводима, так как (A∨A ̅) противоположная величина ((A∨A ̅)) ̅
3) Четыре члена жюри голосуют нажатием на кнопку. Построить простейшую цепь, минимизированную по числу контактов, через которую ток проходит при условии голосования "ЗА" не менее двух членов.
Решение
Построим таблицу истинности. Не менее двух членов означает 2 и более.
A B C D f
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 1
0 1 0 0 0
- Курсовая работа
- Дипломная работа
- Контрольная работа
- Реферат
- Отчет по практике
- Магистерская работа
- Статья
- Эссе
- Научно-исследовательская работа
- Доклад
- Глава диплома
- Ответы на билеты
- Презентация
- Монография
- ВКР
- Дипломная работа MBA
- Компьютерный набор текста
- Речь к диплому
- Тезисный план
- Чертёж
- Диаграммы, таблицы
- ВАК
- Перевод
- Бизнес план
- Научная статья
- Рецензия
- Лабораторная работа
- Решение задач
- Диссертация
- Доработка заказа клиента
- Аспирантский реферат
