книги из ГПНТБ / Цифровые многозначные элементы и структуры учеб. пособие
.pdfНабор одноместных операций 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
вательность опорных импульсов (а); периодическая последователь ность импульсов, соответствующих значению 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