Совершенная дизъюнктивная нормальная форма

Содержание

Слайд 2

Примеры задач Логическая функция F(А,В,С) задана своей таблицей истинности. Составить формулу

Примеры задач

Логическая функция F(А,В,С) задана своей таблицей истинности. Составить формулу функции.
Логическая

функция F(А,В,С)=1 на наборах значений её аргументов 0, 2, 4, 5 и 6. Составить формулу для этой функции.
Слайд 3

Терминология

Терминология

 

Слайд 4

Терминология

Терминология

 

Слайд 5

Терминология Дизъюнктивная нормальная форма (ДНФ) логической функции – представление формулы функции

Терминология

Дизъюнктивная нормальная форма (ДНФ) логической функции – представление формулы функции в

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

Терминология Совершенная дизъюнктивная нормальная форма (СДНФ) – представление формулы функции в

Терминология

Совершенная дизъюнктивная нормальная форма (СДНФ) – представление формулы функции в виде

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

Зачем нужно? СДНФ (СКНФ) – способ записи формулы логической функции, заданной

Зачем нужно?

СДНФ (СКНФ) – способ записи формулы логической функции, заданной набором

значений, либо таблицей истинности.
СДНФ разумно использовать в случае, если в таблице истинности преобладают значения «0», а СКНФ – когда «1»
Формула функции в виде СДНФ или СКНФ может быть сокращена после составления
Слайд 8

Алгоритм применения СДНФ В таблице истинности подчеркнуть строки, где F=1. Для

Алгоритм применения СДНФ

В таблице истинности подчеркнуть строки, где F=1.
Для каждой подчеркнутой

строки составить минтерм. Если аргумент в строке таблицы равен «1», его включают в минтерм в прямом значении, если «0» – в инверсном.
Все минтермы соединяются знаком дизъюнкции.
Составленная СДНФ может быть упрощена.
Слайд 9

Пример для СДНФ

Пример для СДНФ

Слайд 10

Пример №2 для СДНФ Обратите внимание на отрицание над F и выбор нулевых строк!!!

Пример №2 для СДНФ

Обратите внимание на отрицание над F и выбор

нулевых строк!!!
Слайд 11

Алгоритм применения СКНФ В таблице истинности подчеркнуть строки, где F=0. Для

Алгоритм применения СКНФ

В таблице истинности подчеркнуть строки, где F=0.
Для каждой подчеркнутой

строки составить макситерм. Если аргумент в строке таблицы равен «0», его включают в макситерм в прямом значении, если «1» – в инверсном.
Все макситермы соединяются знаком конъюнкции.
Составленная СКНФ может быть упрощена.
Слайд 12

Пример для СКНФ

Пример для СКНФ