Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань
Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.
|
Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №9 |
Утверждаю: Зав. филиалом ___ Г.И. Ларионова
«____» ____20__г. |
1.Какие существуют логические отношения между высказываниями?
2.Как булевы функции связаны с формулами алгебры высказываний?
3.Решите
задачу. Сравните кортежи: а)
.
и
.
Преподаватель Казимирова Н.Е.
Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань
Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.
|
Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №10 |
Утверждаю: Зав. филиалом ___ Г.И. Ларионова
«____» ____20__г. |
1.Равносильные множества. Методика проверки двух формул на равносильность.
2.Каков алгоритм определения линейности или нелинейности булевой функции?
3.Решите
задачу. Постройте КНФ функций и докажите
тождественную истинность с помощью
таблицы истинности f1(x1x2x3x4)
= (x1
x4
Преподаватель Казимирова Н.Е.
Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань
Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.
|
Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №12 |
Утверждаю: Зав. филиалом ___ Г.И. Ларионова
«____» ____20__г. |
1.Дайте определение многочлена Жегалкина.
2.Сформулируйте алгоритм построения многочлена Жегалкина.
3.Решите
задачу. Приведите к КНФ формулу f=
(x
y)
Преподаватель Казимирова Н.Е.
Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань
Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.
|
Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №11 |
Утверждаю: Зав. филиалом ___ Г.И. Ларионова
«____» ____20__г. |
1.Множество. Конечное и бесконечное множество. Подмножество
2.Равносильные множества. Методика проверки двух формул на равносильность.
3.Решите задачу .Найдите СДНФ функции f(x1x2x3) заданной следующей таблицей истинности:
Х1 |
Х2 |
Х3 |
F(x1x2x3) |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
Преподаватель :Казимирова Н. Е