ДНФ и импликанты

Содержание

Слайд 2

ДНФ и импликанты Функция f имплицирует функцию g, если . Замечание: Если , то .

ДНФ и импликанты

Функция f имплицирует функцию g, если .
Замечание: Если ,


то .
Слайд 3

Импликант Если f имплицирует g, и f представлена единственной элементарной конъюнкцией,

Импликант

Если f имплицирует g, и f представлена единственной элементарной конъюнкцией,

то f называется импликантом g.
Если из импликанта нельзя удалить ни одной переменной, то оно называется простым импликантом.
Слайд 4

Если функция представима единственной элементарной конъюнкцией – всех n переменных, то ; – m . Теорема

Если функция представима единственной элементарной конъюнкцией
– всех n переменных, то

;
– m < n переменных, то
.

Теорема

Слайд 5

Пусть . Она принимает значение 1 тогда и только тогда, когда

Пусть .
Она принимает значение 1 тогда и только тогда, когда x

= 1, y = 1, z = 1. Значит .

Пример

Слайд 6

Пример Пусть . Она принимает значение 1 тогда и только тогда,

Пример

Пусть .


Она принимает значение 1 тогда и только тогда,

когда y = 0, z = 1. Значит, чему равняется переменная х – неважно, и она может принимать любые значения. Поэтому
.
Слайд 7

Утверждение 1 Представление функции в виде ДНФ соответствует представлению ее единичного

Утверждение 1

Представление функции в виде ДНФ соответствует представлению ее единичного множества в

виде объединения единичных множеств входящих в эту ДНФ элементарных конъюнкций.
Слайд 8

Пример Пусть функция представлена своей ДНФ. . Тогда ее единичное множество

Пример

Пусть функция представлена своей ДНФ.
.
Тогда ее единичное множество может быть

представлено в виде:
Получилось, что
Слайд 9

Утверждение 2 Любая конъюнкция ДНФ функции является импликантом данной функции.

Утверждение 2

Любая конъюнкция ДНФ функции является импликантом данной функции.

Слайд 10

Утверждение 3 Если конъюнкция ДНФ функции не является простым импликантом, то

Утверждение 3

Если конъюнкция ДНФ функции не является простым импликантом, то можно найти

соответствующий ей простой импликант (или импликанты) и заменить им (или их дизъюнкцией) непростой импликант.
Слайд 11

Определение ДНФ, состоящая только из простых импликантов, называется сокращенной. .

Определение

ДНФ, состоящая только из простых импликантов, называется сокращенной.
.

Слайд 12

Пример Пусть функция представлена своей ДНФ. Тогда ее единичное множество имеет вид:

Пример

Пусть функция представлена своей ДНФ.
Тогда ее единичное множество имеет вид:

Слайд 13

Пример Очевидно, что – это простой импликант. Он состоит из одной

Пример

Очевидно, что – это простой импликант. Он состоит из одной буквы,

и если ее вычеркнуть, получится вырожденная конъюнкция (конъюнкция не имеющая переменных), что возможно только в случае, если .
Слайд 14

Пример Проверим, будет ли простым импликант . Вычеркнем из него переменную х.

Пример

Проверим, будет ли простым импликант .
Вычеркнем из него переменную х.