1. За діаграмою обрати формулу

А	Б	В	Г
А\(ВС)	АВ	(АВ)(АС)	(АВ)\С

2. Властивість операції над множинами що називається законом самопоглинання записується у виді

   А	Б	В	Г
   А  (А  В) = А	А  A = A		А  (А  В) = А

3. Для декартового добутку множин справедливо

   А	Б	В	Г

4. Бінарне відношення R на множині А називається рефлексивним, якщо

   А	Б	В	Г
   Якщо з того, що слідує	Для будь-якого пара	Якщо з того, що і слідує	Для будь-якого пара

5. На рисунку зображено відображення f: X Y, яке є

А	Б	В	Г
Сюр’єктивним, ін’єктивним, бієктивним	Сюр’єктивним	Ін’єктивним	Бієктивним

6. Функція, аргументи якої, рівно як і сама функція, приймають значення із деякої двоелементної множини, називається

А	Б	В	Г
логічною	булевою	двоелементною	де-моргана

7. Вкажіть, який логічний закон ілюструє рисунок

А	Б	В	Г	Д	Є	Ж	З
0*1=0	1*0=0	0*0=0	1*1=1	1+0=1	0+1=1	0+0=0	1+1=1

8. КНФ функції називається форма, яка представлена у вигляді

А	Б	В	Г
Диз'юнкції елементарних кон'юнкцій	Кон'юнкції елементарних кон'юнкцій	Диз'юнкції елементарних диз'юнкцій	Кон'юнкції елементарних диз'юнкцій

даної функції.

9. У селищі 9 будинків. З кожного будинку тягнеться по 4 шланги до чотирьох інших будинків. Скільки шлангів у селищі?

   А	Б	В	Г
   18	16	8	36

10. Правило видалення квантора існування записується у вигляді

А	Б
В	Г

З авдання 2. Розфарбувати вершини графа, визначити його хроматичне число.

Завдання 3. Спростіть за допомогою законів логіки Буля вираз. Потім за допомогою таблиць істинності порівняйте одержаний вираз з вихідним:

Варіант № 5

Завдання 1.

1. За діаграмою обрати формулу

А	Б	В	Г
	АВ	(АВ)(АС)	(АВ)\С

2. Властивість операції над множинами що називається законом поглинання записується у виді

   А	Б	В	Г
   А  A = A	А  (А  В) = А		А  (А  В) = А

3. Нехай декартовий добуток , тоді множини А і В рівні відповідно

   А	Б	В	Г

4. Бінарне відношення R на множині А називається симетричним, якщо

   А	Б	В	Г
   Для будь-якого пара	Для будь-якого пара	Якщо з того, що і слідує	Якщо з того, що слідує

5. На рисунку зображено відображення f: X Y, яке є

А	Б	В	Г
Ін’єктивним	Сюр’єктивним	Бієктивним	сюр’єктивним, ін’єктивним, бієктивним

6. Складіть таблицю істиності для булевої функції, що задана формулою . Отримана функція є

А	Б	В	Г
штрих Шеффера	імплікація	заперечення оберненої імплікації	еквівалентність