Практическое занятие 4. Нормальные формы

Август 21, 2022

Главная
Математика
Практическое занятие 4. Нормальные формы

Содержание

2. 1. Приведите равносильными преобразованиями каждую из следующих формул к дизъюнктивной нормальной форме:
3. 2. Приведите равносильными преобразованиями каждую из формул задачи 1 к конъюнктивной нормальной форме:
4. 3. Применяя равносильные преобразования, найдите СДН- форму для формул из задачи 1.
5. 4. Применяя равносильные преобразования, найдите СКН- Форму для Формул из задачи 1.
6. 5. Используя СДН-форму, найдите формулу, принимающую значение 1 на следующих наборах значений переменных, и только на
7. 6. Используя СКН-форму, найдите формулу, принимающую значение 0 только на следующих наборах значений переменных:
8. 7. Для каждой из следующих формул алгебры высказываний с помощью ее таблицы истинности найдите СКН-форму:
9. 8. Найдите наипростейшую формулу от трех переменных среди равносильных формул от трех переменных, последний столбец таблицы
11. Скачать презентацию

Слайд 2

1. Приведите равносильными преобразованиями каждую из следующих формул к дизъюнктивной нормальной

форме:

Слайд 3

2. Приведите равносильными преобразованиями каждую из формул задачи 1 к конъюнктивной

нормальной форме:

Слайд 4

3. Применяя равносильные преобразования, найдите СДН- форму для формул из задачи 1.

Слайд 5

4. Применяя равносильные преобразования, найдите СКН- Форму для Формул из задачи 1.

Слайд 6

5. Используя СДН-форму, найдите формулу, принимающую значение 1 на следующих наборах значений

переменных, и только на них:

Слайд 7

6. Используя СКН-форму, найдите формулу, принимающую значение 0 только на следующих наборах

значений переменных:

Слайд 8

7. Для каждой из следующих формул алгебры высказываний с помощью ее

таблицы истинности найдите СКН-форму:

Слайд 9

8. Найдите наипростейшую формулу от трех переменных среди равносильных формул от

трех переменных, последний столбец таблицы истинности которых имеет следующий вид:

0 1 0 1 0 1 0 1;
б) 0 0 1 0 0 1 0 0;
д) 1 1 0 0 0 0 1 1;
e) 0 1 0 1 1 0 1 0;
и) 1 1 1 1 0 0 0 0;
к) 1 0 1 0 1 1 1 0;