Академический Документы
Профессиональный Документы
Культура Документы
образования
“Нижегородский государственный архитектурно-строительный университет”
(ННГАСУ)
ОТЧЕТ
Ответы на задания по математической логике и теории алгоритмов
Выполнил:
студент гр. ИС-27 Перевезенцев А.С.
Нижний Новгород
2020
Задание 1.
Придумать схему технического устройства, моделирующего некоторую
функцию y=f(x1, x2,… x8 ) , состоящую из треугольников, моделирующих
логические операции дизъюнкции, конъюнкции и инверсии. Составить
логическую формулу устройства. С помощью таблицы истинности проверить
соответствие формулы и схемы.
Схема:
В результате получим:
¬
x 1
x1 ∧
∧
x 2
x1 x1 x2
∧ ∨ ∨
x3 ∧
x2 x2 x3 x 3
∧ ∨ ∧
∨ ∧
¬ ¬ x3 ¬
x3
x1 x4 x4 x ∧ x7 ¬
∧ x4
X1 x2 x3 x4 x5 x6 x7 x8 ∧ ∧ 4 ¬ ¬ ∧ x 4
x2 x5 ∧ ∧
∧ x x4 x8 ∧
x5 x5
x ∧ ∧ x 5
4 ∨
5 x x5 x6 ∨
∨ ∨ x 6
5
x6 x7
∨
∧
x8 x 7
∧
x8
0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1
0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1
0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1
0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0
0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0
0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0
0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0
0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0
0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1
0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1
0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1
0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0
0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0
0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0
0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0
0 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0
0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1
0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1
0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1
0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0
0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0
0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0
0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0
0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0
0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1
Далее проверим соответствие формулы и схемы с помощью
таблицы истинности:
помощью таблицы истинности было проверено соответствие
формулы и схемы
Задание 2.
Машина А. Тьюринга