Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань

Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.

Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №13

Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г.

1.Диаграммы Эйлера-Венна.

2.Какбулевы функции связаны с формулами алгебры высказываний?

3.Решите задачу. Составьте таблицу истинности формулы: x y ٧ x ∧

Преподаватель Казимирова Н.Е.

Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань

Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.

Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №14

Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г.

1.Какие основные символы используются в теории высказываний?

2.Что такое ДНВ и КНФ ?

3.Решите задачу. Найдите СКНФ функции f(x₁x₂x₃), заданной следующей таблицей

истинности:

Х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

Преподаватель Казимирова Н.Е.

Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань

Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.

Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №15

Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г.

1Сформулируйте основные законы алгебры высказываний.

2.Что такое булева функция?

3.Решите задачу. Докажите тождественную истинность формулы ⇾ (х ⇾ у)

Преподаватель Казимирова Н.Е.