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

книги из ГПНТБ / Цифровые многозначные элементы и структуры учеб. пособие

.pdf
Скачиваний:
7
Добавлен:
23.10.2023
Размер:
6.11 Mб
Скачать

Набор одноместных операций J s (х), х1, (х)‘ и двухместных J (х\,

х2), J ((лу)', х2) назовем набором D, а указанные операции — символа­ ми из набора D. Конечное число символов из набора D, объединенных знаками конъюнкции, назовем произведением.

Элементарным произведением называется произведение конечного числа попарно различных символов из набора D и константы, причем: 1) среди всех членов произведения может встречаться только один какой-нибудь символ одноместной операции над данным аргументом

из набора D; 2) если в произведении есть символ J ((ху/, х2) либо сим­

вол J ((лу/, х2), то среди символов операций над аргументами хх и х2 в элементарном произведении может быть лишь один из 4-х символов:

х\, (хiY, где / = 1,2.

Очевидно, что в этом случае сохраняются без изменения опре­ деления импликанты и простой импликанты, их поглощения и накрывания.

Нетрудно проверить справедливость следующих тождественных соотношений:

(k— l)J 0(x )\/(k — 2)J1(x)V ••• У \Jk- 2 {x) = ~x,

Js (х) ~ Js+i (х ).

J s (x) = J 7 (х).

В рассматриваемой системе помимо операций склеивания по опе­ раторам и аргументам, согласно соотношениям (2.48) и (2.49), справе­ дливы также операции склеивания, согласно следующим соотношениям

1201:

k—\

P \ f

1=0

Р V atJi (X) =

1=0 ai=0

CL[Ji (Xj) J

Р V оЛ (X) V Paqxk~l V P a t (x)'+l, (2.51)

<=о

^/=0

k-\

(^2) V

(Xl » ^2)*

~ P V ^ i (-Xi)

t'=0

 

(2.52)

 

 

P V a,Jc(Xj) Ji+m (X2) = p

V aiJ( (^l)Ji+m (x2) V

t=o

i= 0

 

t>i=0

at=0

 

v PaqJ(xT, X2) x2~m~‘ v P a sJ

( X T , x2) x\~l V

v Pasj (ХГ, x2) (~x2)m+,+1 VPasJ (ХГ, x2) (x ^ 1,

P V aiJi (xi)Jm—1(^2) P

V ai^t (xi)«Лп—i (*2) V

(=0

i=0

 

. V p aPJ ((^1)m+I,

X 2),

(2-53)

(2 .5 4 )

 

f t - 1

 

 

 

f c - l

 

i (-^l) ^m—i (-^2) V

 

 

 

P \J

i (^j) J m —i ( ^ 2) = P V

 

 

 

 

*'=0

 

 

 

i=0

 

 

 

 

 

a/—0

 

 

 

ai=0

 

 

 

V PaqJ ((x,)m+1,

x2)xkr

‘ \J PaqJ {(Xl)m+\ x2){x2)m~‘

V

 

 

V PasJ ((^Г*-1,

x2) & )/+1 V P

^

((^)m+1, *g) *2~m+',

(2-55)

где a, =

min (а,-<

£— /(mod£));

as =

m in(at < / — /(mod

k)),

ap =

= min n(; i =

0,

1, . . . , k

1.

 

 

 

 

 

Выполняя

все возможные

операции

склеивания, согласно

(2.48),

(2.49),

(2.51)—(2.55),

можно

получить все простые импликанты.

Это утверждение очевидно, ибо любая простая импликанта как эле­ ментарное произведение может включать в себя в качестве сомножите­ лей лишь символы из набора D, получение которых обеспечивается приведенными соотношениями. Однако при больших k и п выбор ми­ нимальной ДНФ затруднителен, так как необходимо перебрать боль­ шое количество простых импликант.

Правила поглощения одного элементарного произведения другим очевидны и почти повторяют описанные в § 2.7. Для того чтобы эле­ ментарное произведение Р х поглощало элементарное произведение Р 2,

необходимо и достаточно выполнение следующих условий:

1) Сх >• С2, где ^ и С2 — константы элементарных произведений

Л и Р 2;

2)

все функции 7S(х), входящие в Ри содержатся в Р 2;

3)

Pi включает в себя выражения х1 или (дг)А, не входящие в Р 2,

а в Р 2 входит функция Js (х), где s + / > С2 в первом случае и h

s — 1 >• С2 — во втором;

4)

в Р х входит функция 7 (хги х2) или функция 7

(x^)q,x^,

не входя­

щая

в Р 2, а в Р 2

входит произведение 7, (хх) Jm (х2), где

т i = г

в первом случае и i +

т +

1 = q во втором.

 

 

Рассмотрим пример.

Найдем минимальную ДНФ для функции

xi +

х2 (mod 10).

Если

воспользоваться первым

критерием (§ 2.8),

то минимальным будет выражение

 

 

 

хх -- х2 (mod 10) =

70 (хх) х2 V Л (*i) х 2 V • • •

V Л (*i) *2.

По третьему критерию минимальной ДНФ будет форма

 

 

хх + х2(mod 10) =

17 ((xj)2, х2) V 27 ((Xj)3,

х2) V • • •

 

 

. . .

V 87 ((Xj)9, х2) V J (*i. хг)-

 

 

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

71

ства простых импликант. Между тем, при построении соотношений (2.51)—(2.55) учитывались далеко не все возможные суперпозиции даже среди одноместных функций [20]. Поэтому для некоторого упро­ щения алгоритма минимизации введены ограничения в определение элементарного произведения. Дополнительные трудности возникают также из-за необходимости сравнения сложности реализации простых импликант и элементарных произведений, которые ими накрываются.

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

§ 2.10. Минимизация многозначных функций в системе со всеми одноместными операциями

Рассмотрим избыточную базисную систему, в которую включены все й-значные функции одного переменного и для которой характерно каноническое представление типа СДНФ (§ 2.6). В этом случае соот­ ношение склеивания для любой одноместной функции получают из ее

СДНФ [21 ]. Например, СДНФ функции х — k — 1 — х (mod k) имеет вид

X = V {k— \ — i) Ji (х),

( = 0

а соотношение склеивания для той же функции

Р V (& — 1— i)Ji(x) = Рх.

i = 0

В рассматриваемой системе таких соотношений будет kk, и любое из них можно легко использовать. Алгоритм отыскания простых им­

пликант очень прост, а перебор при

выборе

минимальной ДНФ

почти исчезает (при п = 2,3).

минимизации при

включении

Относительно упрощается алгоритм

в базисную систему всех одноместных

функций,

о чем

свидетельст­

вует следующий простой пример.

Пусть есть заданная таблицей истинности £-значная функция, зависящая от двух аргументов. Выполняя операции склеивания над произведениями, соответствующими всем местам любого столбца (или строки) таблицы, получим одну простую импликанту.

Если же в систему функций (например Россера — Тьюкетта) вклю­ чить только одноместные функции х‘ = х + i (mod As), t = 1, 2, ...

..., k — 1,' о в результате такой же операции (если столбец или строка не содержат 0) получается k + 1 простая импликанта [20]. Очевидно^

72

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

Выбрать нужное из kk соотношений склеивания легко, сгруп­ пировав склеиваемые произведения. Например, пусть для функции, заданной табл. 18, выполняется операция склеивания над произведе­ ниями, соответствующими строке с лу = 2,

3J2 (Хх) J0 (Х2) V 2</2 (-^l) J l (X2) V 1*^2 (Xl) (-^2) V 2«/jj (xy) J3 (x2).

Вынеся функции J2 (xx) за скобки, внутри скобок получаем СДНФ

какой-то одноместной функции, то есть одно из kk соотношений склеи­ вания. В данном случае

 

Р (3J0(х2) V 2J1 (Х2) V

 

 

Таблица

18

 

V 1^2 (*2) V 2Ja (х2)) =

Pf (х2),

 

Х2

 

 

где

Р = J2 (xj),

а / (х2) — одномест­

0

1

2

3

ная функция, определяемая строкой

1

0

1

0

с хх = 2. При п = 2, 3 минимальную

ДНФ выписывают непосредственно из

2

3

0

1

таблицы истинности так же, как это х

делают при k =

2.

 

3

2

1

2

Рассматриваемый метод минимиза­

 

 

 

 

ции

справедлив

и в системе опера­

0

1

3

1

ций,

описанной

в § 2.3.

Каноничес­

 

 

 

 

кой ф:рме представления

произволь­

 

 

 

 

ной многозначной функции (2.27) здесь

соответствует

соотношение

склеивания

 

 

 

 

 

 

V ' рш)*= pr.

1=0

Для произвольной одноместной функции соотношение склеивания

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

к- 1 (xi) ?/?—I —i

V р

где Р, R £ М к, а М к — множество всех подмножеств множества Е'к.

§ 2.11. Минимизация многозначных функций в других полных системах

Минимизация многозначных функций во многих других полных системах операций основывается на использовании соотношений, подобных соотношениям склеивания (2.48), (2.49) и поглощения (2.50).

73

Например, в системе теоретико-множественных

операций (§

2.3)

соотношения склеивания имеют следующий вид:

 

 

VР (ix)“=

V ' Р (tx)a V Ра,

(2.56)

i=0

1=0

 

 

 

Р [ixf Р (ix'f V Pix,

(2.57)

V А'* =

V

V J5-*,

(2.58)

1 = 0

1 = 0

 

 

 

где Я — элементарное произведение,

;, a £

 

что

Такое подобие соотношений склеивания объясняется тем,

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

аналоги элементарных произведений,

импликант и простых импли-

кант. Образование из всех простых импликант минимальных

форм

переключательных функций, как уже

отмечалось, не

зависит

от k,

и его можно выполнить любым из известных способов,

например с по­

мощью импликантных матриц.

 

 

 

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

этим происходит усложнение алгоритма минимизации.

Например,

включение в систему теоретико-множественных операций

функции

X Y дает следующее соотношение:

 

 

рр[р12 . ..

Рт1 { х ) = у ' р р ' Л . . . Р1т{х)У P P W . . .

PL

i= О

1=0

 

 

где Pj — а ухг ;

1 < rt < л; / = 1, 2, . . . , т; 0 < т <

п.

 

При включении в эту же систему функций ср (х) к описанным выше

соотношениям добавится еще

 

v ' PP\til) . . . Pml) ( i x f {1) =

V ' р р Ч[1) ••• p T { i x ) W ) \J

1=0

1=0

V P P f X) ... PmX)

или при m = 0

VP (ix)W) = v ' P (ix)W) V -Рф (x). 1=0 1=0

В [16] обсуждаются возможности минимизации в системе, содер­ жащей двухместные операции min (хъ х2), max (хъ х2) и одноместные операции /у (х) = — х, f2 (х, s) = J s (х).

При этом аргументы и функции принимают значения из множества Ез = {— 1, 0, 1}. Каждой из п троичных переменных соответствует

74

одна из л осей л-мерного пространства, а каждому набору значений аргументов — узел л-мерной решетки (л-мерного гиперкуба). Все множество узлов л-мерного гиперкуба разбивается на три непересекающихся подмножества: подмножество N наборов, где функция принимает значение 0, подмножество Т наборов со значением функции 1; подмножество F со значением функции— 1. Минимизация в этом случае сводится к отысканию максимальных покрытий элементов подмножеств N, Т и F.

В работе [18] предлагается сводить задачу минимизации трехзнач­ ных функций к минимизации двузначных функций, разбивая множест­ во всех значений функции на два подмножества таким образом, что в каждом из них функции могут принимать лишь два значения, одно из которых является общим для всех подмножеств. При этом мож­ но использовать хорошо изученные методы минимизации булевых функций.

Вопросы минимизации и полиномиальных представлений много­ значных функций изложены в [16].

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

Г Л А В А 3

МНОГОЗНАЧНЫЕ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ

§ 3.1. Выбор полного набора логических элементов

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

Пользуясь общими понятиями сложности и надежности схем, можно утверждать, что сложность и надежность многозначных пере­ ключательных схем пропорциональна сложности и надежности логиче­ ских элементов. Поэтому для сокращения аппаратурных затрат и по­ вышения надежности комбинационных схем необходимо, чтобы схемы логических элементов были простыми и надежными. При этом жела­ тельно, чтобы сложность элементов не увеличивалась, а их надежность не уменьшалась с ростом k.

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

Проектирование комбинационных схем упрощается, если произ­ вольную переключательную функцию задавать какой-либо стандарт­ ной канонической формой (например, в виде совершенной ДНФ или в виде полинома). Поэтому желательно, чтобы система функций, реа­ лизуемая набором логических элементов, включала в себя операции, на базе которых строится какая-либо из стандартных канонических форм (например, операции дизъюнкции и конъюнкции, удовлетворяю­ щие условиям (2.42) при канонической форме типа совершенной ДНФ), или, в крайнем случае, допускала простую реализацию ука­ занных операций.

Как правило, комбинационная схема, построенная поканониче­ ской форме выходных функций этой схемы, не является их простейшей реализацией. Поэтому хорошо разработанный метод упрощения

76

канонических форм произвольных функций во многих случаях позво­ ляет сокращать аппаратные затраты, необходимые для построения комбинационной схемы. При этом желательно, чтобы типовые пере­ ключательные функции + у (mod k), ху (mod k) и др.) допускали значительное упрощение своих канонических форм.

Таким образом, основные требования, предъявляемые к наборам логических элементов, следующие:

1) функциональная полнота системы функций, реализуемых дан­ ным набором логических элементов;

2)схемная простота и надежность элементов;

3)ограниченное количество различных типов логических эле­ ментов;

4)наличие операций, на базе которых строится одна из стандарт­

ных канонических форм или, в крайнем случае, допускается простая реализация таких операций в данной системе функций;

5) наличие методов упрощения указанной

канонической формы;

6) возможность значительного упрощения

канонических форм

типовых переключательных функций.

Практическая реализация многозначных переключательных схем при конкретных принципах представления информации требует использования так называемой технически полной системы элемен­ тов, то есть такой, в которую помимо логических элементов, осуществ­ ляющих содержательную переработку информации, входят также элементы для восстановления физических характеристик информацион­ ных сигналов (усилители, формирователи). Эти элементы могут быть конструктивно совмещены с логическими элементами.

§ 3.2. Многозначные логические элементы при фазо-импульсном принципе представления информации

В настоящее время известны (гл. 1) многоустойчивые запоминаю­ щие элементы, число устойчивых состояний которых не зависит от сложности схемы, а динамические признаки устойчивых состояний — частота гармонических колебаний, длительность или фаза периодичес­ кой последовательности импульсов — вырабатываются не многоустой­ чивыми элементами, а внешними задающими источниками. Поэтом/ они не зависят от параметров схем при довольно значительном изме­ нении их. Это дает возможность реализовать полную систему функ­ ций, специфичную для каждого конкретного признака устойчивых состояний.

При фазо-импульсном принципе представления информации носи­ телем информации служит фазовый сдвиг периодической последова­ тельности импульсов относительно следующих с той же частотой опорных импульсов, соответствующих нулевому значению истинности. На рис, 36 для случая k = 10 изображены: периодическая последо­

77

Рис. 37. Схема, реализующая функ­ цию шах (х, у) при прямом кодиро­ вании.

вательность опорных импульсов (а); периодическая последователь­ ность импульсов, соответствующих значению 1 (е), значению 8 (с), значению 9 (d); синхронизирующие импульсы и шкала состояний при прямом (е) и обратном (/) кодировании.

Временной интервал между двумя соседними импульсами опор­ ной последовательности называется тактом.

Рис. 36. Временная диаграмма работы многозначного логического эле­ мента при фазоимпульсном принципе представления информации.

Рассмотрим функциональную полную систему Россера— Тьюкетта, включающую операции шах (х , у), min (х, у), Js (х).

Функция шах (х, у) при прямом кодировании реализуется схемой, выделяющей второй из пришедших на ее входы импульсов (рис. 37).

В этой схеме есть накопитель на кон­ денсаторах, компаратор К и регене­ ратор Р. Входные конденсаторы имеют 5 ^ 7 равные номиналы. Импульс на любом из входов х или у обеспечивает при­ ращение напряжения на емкостном накопителе. Сигнал на выходе схемы появляется только после второго им­ пульса, поступающего на накопитель­ ную емкость, что соответствует боль­ шему числу, или же при одновремен­

ном появлении импульсов на обоих входах. Для предотвращения ложного срабатывания схемы сброса, если в данном такте нет како­ го-либо из входных сигналов, накопительный конденсатор разряжа­ ется перед началом такта серий импульсов, соответствующих значе­ нию k — 1 и подаваемых через линию задержки. При обратном ко­ дировании схема реализует функцию min (х, у).

Элемент, реализующий функцию min (х, у), при прямом кодиро­ вании можно построить на основе любой схемы, выделяющей первый из двух пришедших в данном такте на ее входы импульсов. По-види­

78

мому, простейшей реализацией является схема, изображенная на рис. 38. Чтобы восстановить исходный режим на обмотку 2 феррито­ вого сердечника, подается периодическая последовательность импуль­ сов, которые соответствуют значению k — 1. Эта последовательность задержана на время перемагничивания ферритового сердечника для предотвращения сбоя при х = у = k — 1. При обратном кодирова­ нии входных импульсов схема будет реализовать функцию max (х, у).

Обмотка 2 в

этом

случае подключается к

*—W-

шине, которая соответствует периодической

последовательности импульсов со значе­

Выход

нием 1.

 

 

 

 

й -н -

Функция

 

 

 

 

 

. . .

[ k

1

ПРИ х

s>

Рис. 38. Схема, реализующая

Js \x) ~ I

о

ппи х Ф -S

функцию min (х, у) при пря-

реализуется

'

 

"

^

мом кодировании.

схемой регулируемой задерж­

 

ки, выполненной, например, на двух ферритовых сердечниках (рис. 39, а, если s ф 0 и рис. 39, б, если s — 0).

Исходное состояние схемы (рис. 39, а) устанавливается импульса­ ми 03 и k — 1, проходящими по обмоткам 7 и 8 соответственно (03— импульс константы 0, задержанный на время перемагничивания

Рис. 39. Схемы регулируемой задержки, реализующие функцию Js (х)\

а — при s^tO; б — при s = О,

сердечника). Входная цепь обеспечивает перемагничивание обоих сердечников лишь при х = s. При этом на выходе импульса нет, так как обмотки считывания 5 и б включены встречно. Сердечник 1 возвра­ щается в исходное состояние импульсом k — 1, который проходит на выход через диод D, Если же х Ф s, сердечник 1 не перемагничи-

79

Соседние файлы в папке книги из ГПНТБ