7.4 Контрольні запитання та завдання

1. Дайте визначення двоїстої функції.

2. Які функції називаються самодвоїстими?

3. Як формується таблиця істинності двоїстої функції?

4. Визначіть, використовуючи таблицю істинності булевої функції, є вона самодвоїстою чи ні.

5. Сформулюйте принцип двоїстості.

7.5 Приклади аудиторних і домашніх задач

1. Визначіть кількість наборів, на яких самодвоїста функція від n змінних дорівнює 1.

2. Знайдіть двоїсті формули до таких функцій:

a) ;

б) xy yz xz.

3. Визначіть, чи є дані функції самодвоїстими:

a) f(x,y)= ;

б) f(x,y,z)= ;

в) f(x,y,z)= ;

г) f(x,y,z)= ;

д) f(x,y)= .

4. Визначіть, чи є дані формули двоїстими: и .

5. Для функції, двоїстої до , побудуйте формулу, у якій заперечення стоять тільки над аргументами.

6. Задайте таблицею функції, двоїсті відносно до функцій, які задано таблицями:

x	y
0	0	1
0	1	1
1	0	0
1	1	0

x	y
0	0	1
0	1	0
1	0	0
1	1	0

8 Практичне заняття № 6. Нормальні форми

8.1 Мета заняття

Набути навичок отримання ДКНФ, ДДНФ. Навчитися переходити від таблиці булевої функції до її ДДНФ (ДКНФ) і навпаки. Отримати навички диз’юнктивного та кон’юнктурного розкладання.

8.2 Методичні рекомендації до самостійної роботи студентів

Під час підготовки до практичного заняття крім конспекту лекцій рекомендується використовувати [1, c. 120-138; 2, c. 120-138; 4, c. 59-61; 9, c.35-37, 39-41; 12, c.62-68; 17, c.23-63].

При вивченні і повторенні матеріалу слід звернути увагу на такі питання:

теорема про диз'юнктивне (кон’юнктивне) розкладання функції алгебри логіки;
ДНФ, ДДНФ, КНФ, ДКНФ;
використання теорем про розкладання та їх висновки для спрощення формул алгебри логіки і навпаки;
перехід від таблиці булевої функції до формули алгебри логіки і навпаки.