Презентация, доклад Построение СДНФ, СКНФ

Ф У Н К Ц И И. Совершенная дизъюнктивная нормальная форма (СДНФ).
Совершенная конъюнктивная нормальная форма (СКНФ).

ЦЕЛЬ ЗАНЯТИЯ:

НАУЧИТЬСЯ
Приводить высказывание
к СДНФ и СКНФ

Дать определение ИМПЛИКАЦИИ

5. Дать определение ЭКВИВАЛЕНЦИИ

6. Дать определение СУММЫ по модулю два

переменная, {0, 1} – её значение в некотором наборе, то выражение


называется литерой.

Элементарной конъюнкцией называется конъюнкция попарно различных литер.
Пример 1: Имеется булева функция f(x1, x2, x3, x4) тогда элементарными конъюнкциями будут:

и так далее.

попарно различных литер.
Пример 2: Имеется булева функция f(x1, x2, x3, x4) тогда элементарными конъюнкциями будут:



и так далее Замечание: в элементарную конъюнкцию (или дизъюнкцию) не обязаны входить все переменные!

)– набор значений переменных.
Конституентой единицы набора (,.., n ) называется элементарная конъюнкция вида

К1(,.., n) =

Конституентой нуля набора (,.., n ) называется элементарная дизъюнкция вида К0(,.., n) =

Замечание: обязательно входят все переменные!

конституент единицы.

Совершенной конъюнктивной нормальной формой (СКНФ) называется конъюнкция попарно различных конституент нуля.

функции равно единице. (f=1);
Для каждого такого набора построим Конституенту единицы (отрицание входного нуля);
Соединим конституенты единицы знаком дизъюнкции;
При необходимости упростить.

функции равно нулю. (f=0);
Для каждого такого набора построим Конституенту нуля (отрицание входной единицы);
Соединим конституенты нуля знаком конъюнкции;
При необходимости упростить.

функции равно единице. (f=1);
Для каждого такого набора построим отрицание входного нуля;
Соединим наборы единицы знаком дизъюнкции;
При необходимости упростить.

функции равно нулю. (f=0);
Для каждого такого набора построим отрицание входной единицы;
Соединим наборы нуля знаком конъюнкции;
При необходимости упростить.

истинности для задания 1
Составить таблицу истинности формулы высказываний
Составить СДНФ функции, заданной таблицей истинности (задание 3)
Составить СКНФ функции, заданной таблицей истинности (задание 3)