Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

ODM_Лекции

.pdf
Скачиваний:
19
Добавлен:
03.03.2016
Размер:
1.12 Mб
Скачать

61

Таким образом с помощью суперпозиции нелинейных функции и функции от-

рицания можно получать функцию коньюнкции.

Пример: f(x1,x2,x3) = x1 x 2 + x 1x3 + x2

Преобразуем функцию в мин.форму, представив с помощью операции сло-

жения по

mod 2 и конъюнкции

f(х123) = x1 x 2 & x 1x3 & x 2 = ((х12 1)) 1)) & ((х31 1) 1) & (х2

1) 1 = (х1х2 х1 1)(х1х3 х3 1)(х2 1) 1 = (х1х2х3 х1х2 х1х3х1 х3 1)(х2 1) = х1х2х3 х1х2 х2х3 х2 х1х3 х1 х3 1 Выберем в качестве мин. слагаемого х1х2 х3 = 0

f(x1,x2, ) = x1x2 x1 x2 1 = x 1 x 2 x1x2 = f(q(x1),q(x2), )

ФУНКЦИОНАЛЬНО – ПОЛНЫЕ СИСТЕМЫ И БАЗИСЫ В ШИРОКОМ СМЫСЛЕ.

ФПС пространства Р в широком смысле называется множество функций с помощью суперпозиции которых можно представить любую функцию из Р ,

используя при этом конституенты 0 и 1.

Базисом Р в широком смысле называется ФПС, из которого не может быть вычеркнута ни одна функция без потери полноты системы.

ТЕОРЕМА.

Система функции полная в широком смысле , если в ней присутствует хотя бы одна немонотонная и хотя бы одна нелинейная функция.

Доказательство:

Достоверность следует из того , что если в системе существует хотя бы од-

на немонотонная функция, то может быть представлена функция отрицания.

Если при этом есть нелинейная функция, то с помощью ее может быть пред-

62

ставлена любая функция Р .

Необходимость.

Если в системе все функции монотонны, то не может быть получена немо-

нотонная функция, так как класс функций замкнут.

Следовательно, найдутся такие функции, которые не представимы суперпо-

зиции функции системы, тоесть такая система не функционально-полная.

ПОСТРОЕНИЕ БАЗИСА Р В ШИРОКОМ СМЫСЛЕ.

Составим следующую таблицу:

yi

Kн

Кл

 

 

 

 

 

y1

 

1

a

 

 

 

 

y2

1

1

b

 

 

 

 

y6

1

 

c

 

 

 

 

y7

 

1

d

 

 

 

 

y8

1

1

e

 

 

 

 

y9

1

 

f

 

 

 

 

y12

1

 

g

 

 

 

 

y13

1

1

h

 

 

 

 

y14

1

1

k

 

 

 

 

у1 = х1х2

у2 = х1 x 2 = х12 1) = х1х2 х1 у6 = x 1х2 + х1 x 2 = х1 х2

у7 = х1 + х2 = х1х2 х2 + х2

у8 = x 1 x 2 = х1х2 х1 х2 х1 у9 = x 1 x 2 + х1х2 = х1 х2 1 у12 = x 1 = х1 1

у13 = x 1 + х2 = х1х2 х1 1

63

у14 = x 1 + x 2 = х1х2 1

Это сокращенная таблица Поста, служит для нахождения базисов в широко

смысле пространства Р .

Таблица заполняется по принципу:

-если данная функция не принадлежит данному классу ,то в соответствующей клетке ставится 1.

Для получения всех базисов в широком смысле пространства Р нужно найти все мин. покрытия, удовлетворяющим полноты ,но теряющие это свойство при удалении любого элемента из покрытия. Для этого применим метод Квай-

на.

P = (b + c + e + f + q + h + k) &(a + b + d + e + h + k) = ((b + e + h + k) + c + f + q) &((b + e + h + k) + a + d) = ( b + e + h + k) + (a + d)(b + e + h + k) + (c + f + q) * *(b + e + h + k) + (c + f + q)(a + d)= b + e + h + k + ca + fa + fd + qa + qd

Получены 10 базисов в широком смысле пространства Р .

В1 = {y2}

B6 = {y6,y7}

B2 = {y8}

B7 = {y1,y9}

B3 = {y13}

B8 = {y7,y9}

B4

= {y14}

B9 = {y1,y12}

B5

= {y1,y6}

B10 = {y7,y12}

Используя любой из 10 указанных базисов в широком смысле, можно выра-

зить произвольную булеву функцию.

ФУНКЦИОНАЛЬНО – ПОЛНЫЕ СИСТЕМЫ И БАЗИСЫ В УЗКОМ СМЫС-

ЛЕ.

Функционально полной системой пр-ва Р в узком смысле называется множество функции с помощью суперпозиций которых можно представить любую функцию пр-ва Р , при этом 0 и 1 не используются.

Для построения базиса рассмотрим следующие классы функций :

- класс самодвойственных функций

64

Функция f от n аргументов называется самодвойственной если выполняется условие:

f (x1, x2, …, xn) = f ( x 1, x 2, …, x n)

Класс самодвойственных функций замкнут.

Для доказательства возьмем 2 самодвойственных функции, для которых выразим x через t и найдем их суперпозицию.

x1 (t1, t 2, t3) = x 1 ( t 1, t 2, t 3)

f(x1 (t1, t 2, t3), x2, x3) = d (t1, t 2, t3, x2, x3) = f (x1 ( t 1, t 2, t 3), x 2, x 3) =

=d ( t 1, t 2, t 3, x 2, x 3)

На основании вышезаписанного делаем вывод, что класс самодвойствен-

ных функций замкнут.

-класс функций, сохраняющих 0

Функция f от n аргумента называется сохраняющей 0 если : f ( , , …, ) =

Можно доказать, что и класс функций сохраняющих 0, замкнут.

-класс функций, сохраняющих 1

Функция f от n аргумента называется сохраняющей 1 если : f ( 1 , 1, …, 1 ) = 1

Можно доказать, что и класс функций сохраняющих 1, замкнут.

ВТОРАЯ ТЕОРЕМА О ФУНКЦИОНАЛЬНОЙ ПОЛНОТЕ.

Система функций будет полной если она содержит хотя бы одну из функций :

-несамодвойственную

-несохраняющую 0

-несохраняющую 1

-немонотонную

-нелинейную

Доказательство :

65

Доказательство теоремы сводится к доказательству утверждения : имеет несамодвойственную, несохраняющую 0 и 1 функции можно получить конст-

ты 0 или 1. Если тезис будет доказан, то теорема сводится к первой теореме о

функциональной полноте.

Начнем доказательство с того, что покажем как с помощью несамодвойствен-

ной функции получить конст-ту, если имеется конст-та х и x . Допустим, что имеется несамодвойственная функция f от n аргументов, тогда для нее можно найти такой набор , чтобы выполнялось равенство :

f ( 1, 2, …, n) = f ( δ 1, δ 2, …, δ n)

Определим функцию f ( x )

f ( x ) = f ( x 1, x 2, …, x n), где

 

 

x,

i = 1

x i =

 

 

 

 

 

x ,

i = 0, при этом

0 i =

 

i

, 1 i =

 

i , тогда

δ

δ

f ( 0 ) = f ( 0 1, 0 2, …, 0 n) = f ( δ 1,…, δ n) = f ( 1, …, n) = f ( 1 1, …, 1 n) = f ( 1 ) т.е. f ( x ) = const.

Рассмотрим 2 случая для функции несохраняющей 0 :

1. Имеем функцию несохраняющую 0 следующего вида : f0 ( x1, …, xn )

d0 ( 0 ) = f0 ( 0, …, 0 ) = 1

d0 ( 1 ) = f0 ( 1, …, 1 ) = 0 d0 ( x ) = x

А если есть х и x , то подставив их в несамодвойственную функцию полу-

чим коснтанту, если понадобится противоположная конст-та, то ее можно получить отрицанием.

2. Имеем функцию несохраняющую 0 вида :

66

f0 ( x1, …, xn )

d0 ( 0 ) = f0 ( 0, …, 0 ) = 1

d0 ( 1 ) = f0 ( 1, …, 1 ) = 1 d0 ( x ) = 1

Имеем конст-ту 1.

Для получения конст-ты 0 используем функцию несохраняющую 1 вида : f1 ( x1, …, xn )

d1 ( 1 ) = f1 ( 1, …, 1 ) = d1 ( d0 ( x )) =

т.е. получена конст-та 0.

Таким образом доказана достаточность теоремы.

Доказательство необходимости теоремы следует из замкнутости классов са-

модвойственных, сохраняющих 0 и 1 функций.

Таким образом теорема доказана.

На основании 2 теоремы о функциональной полноте, построим расширенную таблицу Поста:

yi

Kн

Кл

K0

K1

Kc

 

 

 

 

 

 

 

 

f1

 

1

 

 

1

a

 

 

 

 

 

 

 

f2

1

1

 

1

1

b

 

 

 

 

 

 

 

f6

1

 

 

1

1

c

 

 

 

 

 

 

 

f7

 

1

 

 

1

d

 

 

 

 

 

 

 

f8

1

1

1

1

1

e

 

 

 

 

 

 

 

f9

1

 

1

 

1

f

 

 

 

 

 

 

 

F12

1

 

1

1

 

g

 

 

 

 

 

 

 

F13

1

1

1

 

1

h

 

 

 

 

 

 

 

F14

1

1

1

1

1

k

 

 

 

 

 

 

 

х1 х2 F1 F2 F6 F7 F8 F9 F12 F13 F14

67

0

0

0

0

0

0

1

1

1

1

1

 

 

 

 

 

 

 

 

 

 

 

0

1

0

0

1

1

0

0

1

1

1

 

 

 

 

 

 

 

 

 

 

 

1

0

0

1

1

1

0

0

0

0

1

 

 

 

 

 

 

 

 

 

 

 

1

1

1

0

0

1

0

1

0

1

0

 

 

 

 

 

 

 

 

 

 

 

F1 = х12

F2 = х1* x 2 = х1х2 x1

F6 = x 12 + х1* x 2 = х1 х2

F7 = х1 + х2 = х1х2 x1 х2

F8 = x 1* x 2 = х1х2 x1 х2 1

F9 = x 1 x 2 + х1х2 = х1 х2 1

F12 = x 1 = х1 1

F13 = x 1 + х2 = х1х2 x1 1

F14 = x 1 + x 2 = х1х2 1

1 - не принадлежит классу.

С помощью метода Квайна найдем мин. покрытие табл., т. е. Получим все ба-

зисы в узком смысле в пр-ве Р

P = ( b + c + e + f + g + h + k )( a + b + d + e + h + k )( e + f + g + h + k ) &

& ( b + c + g + k )( a + b + c + d + e + f + h + k ) = e + k + ( b + c + f + g + h ) ( a + b + d + h )( f + g + h )( b + c + g )( a + b + c + d + f + h ) =

=e + k ( h + b + ( c + f + g )( a + d ) (a + c + d + f))( f + g + h )( b + c + g ) =

=e + k + (h + ac + b + a + af + ag + dc + df + dg )( g + bf + bh +c + ch) =

=e + k + hg + hb + hc + bg + bf + acf + ag + dcf + dg.

68

П1 = {f8}

П6 = { f2 ,f12}

П2 = {f14}

П7 = { f2 ,f9}

П3 = {f12 ,f13}

П8 = { f1 ,f6 ,f9}

П4 = { f2 ,f13}

П9 = { f1 ,f12}

П5 = { f6 ,f13}

П10 = { f6 ,f7 ,f9}

П11 = {f7 ,f12}

Если результаты исследования базисов в узком смысле объед., то можно сде-

лать вывод, что общее число всех возможных различных базисов равно 17.

Если сравнить базисы в узком смысле с базисами в широком смысле, то мож-

но выявить следующие соответствия :

П1

В2

П2

В4

П9

В10

П11 В9

На основани базисов в узком смысле можно реализовать любую Булеву функ-

цию.

 

Приведем

Р5, его сост-т следующие функции :

{y2, y9} = П7

 

 

 

 

 

 

 

y2(x1, x2) = x1 x 2

 

 

 

 

 

y9(x1, x2) = x1 x2

 

 

 

 

 

 

 

 

 

 

x1

 

 

 

x1

1

 

&

f 2

 

f 9

 

 

 

x2

 

 

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Через имеющиеся функции выразим функцию отрицания, для этого с помо-

щью у9 получим константу 1. y9(x , x ) = 1, тогда y2( у9 (x , x ) = x

Используя функцию отрицания и y2 получим конъюкцию : y2( x1 , y2 9 (x2 , x2), x2 )) = x1x2

x1

69

x2

1

 

 

 

 

&

 

 

&

x2

x1x2

 

 

 

 

 

 

 

 

 

Имея функцию отрицания и конъюкцию, можно реализовать произвольную булеву функцию.

Если рассматривать базисы в узком и широком смысле с практической точки зрения, то следует отметить, что базисы в узком смысле не имеют никаких преимуществ, так как на практике всегда имеются константы 0 и 1.

СИНТЕЗ КОМБИНАТОРНЫХ СИСТЕМ.

Комбинаторной системой называется автомат выполняющий преобразование х в у, где

x= { x1, x2, …, xn } – множество входных булевых переменных

y= { y1, y2, …, yn } – множество выходных булевых функций

Отличительной особенностью комбинаторных систем является то, что выход-

ной сигнал в момент времени T является функцией только входного сигнала в момент времени Т. В общем виде на стр-ных и функциональных схемах ком-

бинаторные системы изображаются в виде перевернутой трапеции. x1 xn

КС

у1 уn

КС представляет собой схемы, состоящие из логических элементов. Каждый логический элемент реализует элементарную булеву функцию. Минимальная совокупность логических элементов достаточное для реализации произв-ной системы называется эл-ным базисом.

70

Алгоритм синтеза логических функций с малым числом переменных в задан-

ном базисе :

1.Функция записывается в сов. норм. дизъюнктивной форме по заданной таблице истинности

2.Находится мин. форма, любым способом.

3.Операции дизъюнкции, конъюкции и отрицания варажаются через функции базиса.

4.Записывается выражение функции в элементах базиса и строится схема.

Пример.

Функция задана таблицой истинности :

x1

x2

x3

f

 

 

 

 

0

0

0

1

 

 

 

 

0

0

1

0

 

 

 

 

0

1

0

1

 

 

 

 

0

1

1

1

 

 

 

 

1

0

0

1

 

 

 

 

1

0

1

0

 

 

 

 

1

1

0

0

 

 

 

 

1

1

1

1

 

 

 

 

Минимизируем графическим методом :

111

110

011

010

f ( x1, x2, x3 ) = x2x3 + x 1x2 + x 2 x 3

101

100

001 000

Реализуем функцию в базисе В6 = { у6, у7 }

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]