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

Шпора ОДМ( 2 модуль)

.pdf
Скачиваний:
17
Добавлен:
03.03.2016
Размер:
792.61 Кб
Скачать

31

х11

 

1

 

 

1

 

 

 

 

 

 

1х0

 

 

1

1

 

 

 

 

 

 

 

11х

 

 

 

1

1

 

 

 

 

 

 

Если конституента содержится соответственном максимальном интервале,

то в клетке ставится 1, если нет, то клетка остаѐтся пустой.

2-й шаг Состоит в том, что из множества простых импликант составляются

всевозможные подмножества, обладающие свойствами :

1.Элементы подмножества суммарно покрывают все конституенты функции.

2.При вычеркивании любого элемента подмножества свойство 1 не выполняется.

Подмножество, удовлетворяющее свойствам называется минимальными покрытиями таблицы Квайна.

ТЕОРЕМА Возможные минимальные покрытия таблицы Квайна представляют все

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

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

Необходимость следует из того, что тупиковые и минимальные формы есть объединение простых импликант. Достаточность следует из того , что не возможно вычеркнуть простую импликанту, а следовательно любой первичный термин, без нарушения покрытия всех конституент функции.

СПОСОБЫ ПОКРЫТИЯ ТАБЛИЦЫ КВАЙНА

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

что некоторые конституенты принадлежат только им. Для приведеннолго примера такими импликантами являются 0х1 1х0.

Объединение этих импликант называется ядром покрытия. Если ядро

32

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

Так для нашего примера: ядро покрытия покрывает конституенты

0х1

-

001

и

011

1х0

-

100

и

110

Констутиента 111 осталась непокрытой ,следовательно к ядру нужно добавить

еще одну импликанту. При этом получаем 2 минимальных покрытия:

{0х1 , 1х0 , х11} {0х1 , 1х0 , 11х}

Первому покрытию соответствует тупиковая форма

f = М 1М3 + М1 М 3 + М2 М3

а второму:

f = М 1 М3 + М1М3 + М1М2

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

Рассмотрим другой ,более эффективный способ.

Для этого каждую простую импликанту таблицы Квайна представим с помощью множества. При этом будем считать ,что для таблицы Квайна множество – малые латинские буквы.

 

001

011

100

110

111

 

 

 

 

 

 

 

 

0x1

1

1

 

 

 

А

 

 

 

 

 

 

 

x11

 

1

 

 

1

В

 

 

 

 

 

 

 

1x0

 

 

1

1

 

С

 

 

 

 

 

 

 

11x

 

 

 

1

1

D

 

 

 

 

 

 

 

В этом случае конституенты покрываются следующими множествами.

001 – P1=a

011 – P3=a+b

33

100 – P4=c

110– P6=c+d

111– P7=b+d

Из этого следует, что все возможные минимальные покрытия представляются

множествам Р равным:

Р = а( а + b ) с ( с + d )( b + d)

Применяя, рассмотренные ранее, законы для операций над множествами:

Р = а( а + b ) c ( c + d )( b + d ) = ac ( b + d ) = acb + acd

acb –

{ 0x1, 1x0, x11

}

acd –

{ 0x1, 1x0, 11x

}

 

 

 

 

 

 

 

f 1 = М 1M2

+ M1 М 3

+ M2M3

 

 

 

 

 

 

 

f 2 = М 1M2

+ M1 М 3

+ M1M2

Рассмотрим более сложный пример . Функция от четырех переменных:

Kj

F

0000

0

0001

0

0010

0

0011

1

0100

1

0101

1

0110

0

0111

1

1000

0

1001

1

1010

0

1011

1

1100

1

1101

1

1110

0

1111

0

Выпишем все образующие функцию конституенты, разбив на классы по

количеству единиц.

0100

010x

0011

x100

34

0101

0x11

1001

x011

1100

01x1

0111

x101

1011

10x1

1101

1x01

 

110x

Объединяя их, получим: х10х х10х

 

 

 

0100

 

0011

0101

 

1001

1100

 

0111

1011

1101

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x10x

 

 

1

 

 

 

1

 

 

 

 

1

 

 

 

 

1

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0x11

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

1

 

 

B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x011

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

1

 

C

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

01x1

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

1

 

 

D

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10x1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

E

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1x01

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

1

F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f 1 = M2 М 3

+ М 1M3M4 + M1 М 2M4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f 2 = M2 М 3

+ М 1M3M4 + М 2M3 М4 + M1 М 3M4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f 3 = M2 М 3

+ М 2M3M4 + М 1М2 М4 + M1 М 2M4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f 4 = M2 М 3

+ М 2M3M4 + М 1М2 М4 + M1 М 3M4

 

 

 

 

Получены тупиковые формы. Их сложность соответственно:

 

 

S1 = 8,

 

 

S2 = 11, S3 = 11,

S4 = 11

 

 

 

 

 

 

 

 

Следовательно имеем одну минимизированную форму f1

P = a(b+c)(a+d)(e+f)a(b+d)(c+e)(a+f) = a(b+c)(e+f)(b+d)(c+e) = a(b+cd)(e+cf) = (ab+acd)(e+cf) = abe + abcf + acde + acdf

БУЛЕВА АЛГЕБРА

Алгебра – это множество М, с заданными на нем функциями, обладающими

свойствами замкнутости.

f (mi) Mi ;

mi M.

35

Алгебра – некоторое множество М , с определенными на этом множестве операциями. Все функции ,заданные на М ,обозначаются буквой S –сигнатура алгебры. Множество М – носитель алгебры. Произв. алгебра А обозначается:

А < М, S >

ФУНДАМЕНТАЛЬНЫЕ АЛГЕБРЫ.

1. Алгебра А = < М , f0 > ,где f0 - двуместная функция, называется группой.

При этом f : a , b с , c = ab - обобщенное умножение С обладает свойствами:

- если (а,b М, то результат обобщенного умножения так же принадлежит М

[(ab) M]

Это свойство замкнутости;

- (ab)c = a(bc) - свойство ассоциативности

-(ax) = b , ya = c - существованиеединственного решения уравнения Группа , для которой выполнено условие:

ab = ba

называется коммутативной или абелевой группой.

ПРИМЕРЫ АЛГЕБРАИЧЕСКИХ СИСТЕМ

N - множество натуральных чисел

R - множество целых чисел

Z - множество действительных чисел Определим алгебру вида:

А = < N, + , * , - >

Эта алгебра не является алгебраической системой А = < N < + , * , > - алгебраическая система

Причем в данном примере содержится алфавит из бесконечного числа элементов.

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

Образовывающаяся алгебра подстановок с помощью перестановок 3-х элементов х1, х23 .

36

Отметим возможные варианты.

1

x1

x2

x3

 

 

 

 

2

x1

x3

x2

 

 

 

 

3

x3

x2

x1

 

 

 

 

4

x2

x1

x3

 

 

 

 

5

x2

x3

x1

 

 

 

 

6

x3

x1

x2

 

 

 

 

Элементы носителя определяются следующим образом

a = x1 x2 x3

b =

x1 x2 x3

c = x1 x2 x3

x1 x2 x3

 

x1 x3 x2

x2 x1 x3

d = x1 x2 x3

e = x1 x2 x3

c = x1 x2 x3

x2 x3 x1

 

x3 x1 x2

x3 x2 x1

Например элемент b означает,

 

что х1

переходит в х1

 

х2

переходит в х3

 

х3

переходит в х2

 

Определим групповую операцию, как общий переход:

bc = x1 x2 x3

 

x1 x2 x3

= x1 x2 x3

= d

 

x1 x3 x2

 

x2 x1 x3

 

x2 x3 x1

 

Составим мультипликативную таблицу:

 

 

 

 

 

 

 

 

 

 

 

 

a

 

b

 

c

d

 

e

f

 

 

 

 

 

 

 

 

 

 

a

a

 

b

 

c

d

 

e

f

 

 

 

 

 

 

 

 

 

 

b

c

 

a

 

d

c

 

f

e

 

 

 

 

 

 

 

 

 

 

c

c

 

e

 

a

f

 

b

d

 

 

 

 

 

 

 

 

 

 

d

d

 

f

 

b

e

 

a

c

 

 

 

 

 

 

 

 

 

 

e

e

 

c

 

f

a

 

d

b

 

 

 

 

 

 

 

 

 

 

f

f

 

d

 

e

b

 

c

a

 

 

 

 

 

 

 

 

 

 

37

Проверим выполняется ли закон ассоциативности для данного примера:

(bd)f = cf =d b(df) = bc =d

то есть, закон выполняется.

Так же можно показать, что закон справедлив для любых элементов данной

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

Поэтому алгебра – мультипликативная некоммутативная группа.

Алгебра вида А = < М , * , + >

Называется кольцом, если < М , + > есть аддитивная абелевая группа,

выполняется закон дистрибутивности.

Если операция обобщ. умн. кольца < М, * > содержит 1, то имеет место кольцо

с единицей.

Если умн. коммут. то кольцо – коммутат. Полем называется кольцо с единицей,

ненулевые элементы которого образуют группу по умножению. Если эта группа имеет конечное число элементов и является абелевой, то такие поля называются полями Галуа.

Рассмотрим примеры :

1.Множество действительных чисел с опер. слож. и умноженные есть

коммутативное поле.

 

 

 

 

 

 

 

2. Алгебра вида :

 

 

 

 

 

 

 

А = < М, 0 , + > ,где М {0,1,2,3,4,5}

 

0 , + по модулю 6.

Составим таблицу умножения и сложения.

с = а + в

mod 6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

0

 

1

 

2

3

 

4

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

0

 

1

 

2

3

 

4

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

2

 

3

4

 

5

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2

 

3

 

4

5

 

0

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

3

 

4

 

5

0

 

1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

38

4

4

5

0

1

2

3

 

 

 

 

 

 

 

5

5

0

1

2

3

4

 

 

 

 

 

 

 

с = ав

mod 6

 

 

 

 

 

 

 

 

 

 

 

 

*

0

1

2

3

4

5

 

 

 

 

 

 

 

0

0

0

0

0

0

0

 

 

 

 

 

 

 

1

0

1

2

3

4

5

 

 

 

 

 

 

 

2

0

2

4

0

2

4

 

 

 

 

 

 

 

3

0

3

0

3

0

3

 

 

 

 

 

 

 

4

0

4

2

0

4

2

 

 

 

 

 

 

 

5

0

5

4

3

2

1

 

 

 

 

 

 

 

Из таблиц видно, что эта алгебра есть коммут. кольцо с 1.

3. А = < М, 0 , + > М{0,1,2,3,4,5,6} c = a + b mod 7

+

0

1

2

3

4

5

6

 

 

 

 

 

 

 

 

0

0

1

2

3

4

5

6

 

 

 

 

 

 

 

 

1

1

2

3

4

5

6

0

 

 

 

 

 

 

 

 

2

2

3

4

5

6

0

1

 

 

 

 

 

 

 

 

3

3

4

5

6

0

1

2

 

 

 

 

 

 

 

 

4

4

5

6

0

1

2

3

 

 

 

 

 

 

 

 

5

5

6

0

1

2

3

4

 

 

 

 

 

 

 

 

6

6

0

1

2

3

4

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*

0

1

2

3

4

5

6

 

 

 

 

 

 

 

 

0

0

0

0

0

0

0

0

 

 

 

 

 

 

 

 

1

0

1

2

3

4

5

6

 

 

 

 

 

 

 

 

39

2

0

2

4

6

1

3

5

 

 

 

 

 

 

 

 

3

0

3

6

2

5

1

4

 

 

 

 

 

 

 

 

4

0

4

1

5

2

6

3

 

 

 

 

 

 

 

 

5

0

5

3

1

6

4

2

 

 

 

 

 

 

 

 

6

0

6

5

4

3

2

1

 

 

 

 

 

 

 

 

Для данного алфавита можно определить и обратную операцию вычитания.

а – в = а(-в)

Для данной алгебры составленна таблица :

а

 

 

0

0

 

 

1

6

 

 

2

5

 

 

3

4

 

 

4

3

 

 

5

2

 

 

6

1

 

 

По аналогии составляется таблица обратных элементов для деления.

1-1=1; 2-1=4; 3-1=5; 4-1=2; 5-1=3; 6-1=6;

Вышепреведенные алгебры являются полем Галуа.

СИСТЕМЫ УРАВНЕНИЙ И ПОЛЯ ГАЛУА.

Как и в обычной алгебре можно решать системы уравнений и в полях Галуа.Возьмем следующую систему :

X1+3x2+6x3=2 4x1+5x2+2x3=1 2x2+x3=5

Будем решать систему по методу Гаусса :

 

1

3

6

 

=

4 5 2

mod 7 = (5+48–4–12) mod 7=37 mod 7 = 2

 

0

2

1

 

 

 

 

 

 

40

 

2

3

6

 

 

1

= 1 5 2

mod 7 = (–109) mod 7=(140-109) mod 7 = 31 mod 7 = 3

 

0

2

1

 

 

2

= 103 mod 7 = 5

3 = (27-21) mod 7 = 0

x1=3*2-1=3*4=5

 

 

x2=5*2-1=5*4=6

 

 

x1=0*2-1=0*4=

 

 

5+3*6+6* =5+4+ =2+ =2 4*5+5*6=6+2=1 2*6=5

БУЛЕВЫ АЛГЕБРЫ.

Изоморфизмом между алгебрами называется взаимооднозначное соответствие между носителями и сигнатурами.

fi(x1,…xn) =xk (fi)[ (x1),… (xn)] = (xk)

Алгебры для которых существует изоморфизм называют изоморф-ми.

Очевидно, что законы справедливые для некоторой алгебры , также будут справедливы и для изоморфной с ней алгебры.

Булевы алгебры – алгебры вида :

A = < M, + , * , - > для которых справедливы следующие отношения :

хi M

1.xi + xj = xj + xi

2.xi * xj = xj * xi

3.(xi + xj) + xk = xi + (xj +xk)

4.(xi * xj) * xk = xi * (xj *xk)

5.(xi + xj) * xk = xi *xk+ xj*xk

6.xi + xj * xk = (xi + xj)(xi+xk)

7.xi+xj M, xi xj M

8.x = x; x = ; x + E = E; x + = x;

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