Файл: Архаров В.И. Арифметические и логические основы цифровых вычислительных машин учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 09.07.2024
Просмотров: 103
Скачиваний: 1
Действительно,
Nf — Л ^ + Лг-Ь • • • + А т.
Логической сумме функций Лг соответствует подмножество Nf* Следовательно, каждой функции алгебры логики А с можно поста'
вить в |
соответствие |
подмножества N t. Функции f = |
т |
|||||
VAi будет |
||||||||
соответствовать некоторое объединение |
подмножеств |
£=1 |
||||||
N A , что за |
||||||||
писывается следующим |
образом: |
|
|
|
|
|
||
|
Nf = MA { jNA N • • • U h |
т |
МА |
|
(5.18) |
|||
|
= U |
|
||||||
|
' |
L |
А |
п |
/=1 |
|
|
|
поэтому |
|
|
|
|
|
|
|
|
|
N Ai\/Ai\, |
|
Am= N Ai\JN AJJ |
. . . |
U N Ат. |
(5.19) |
||
Выражение (5.18) |
означает, что Nf |
покрывается |
интервалами |
|||||
N a . {i = 1, 2, 3, . . . , т). |
|
|
|
|
|
|||
Из таблицы соответствия 5-4 имеем |
|
|
|
|
|
|||
|
f (х, у,z)~xyz\/xyz\Jxyz\Jxyz\Jxyz. |
|
(5.20) |
|||||
Преобразуем (5.20). Тогда |
|
|
|
|
|
|||
|
|
|
f(x, у, z) = yz\Jx. |
|
|
(5.21) |
||
Дизъюнктивнойнормальной форме (5.21)отвечает покрытие |
||||||||
подмножества Nf интервалами N x и N 3, т. е. Nf = N x (J |
Л^3. Если |
|||||||
обозначить через rt ранг интервала N А (/ |
|
= 1 , 2 , . . . |
т), |
то бумма г |
||||
рангов |
интервалов |
|
|
|
|
|
|
|
|
|
|
т |
|
|
|
|
|
|
|
|
г = 2 б |
|
’ |
|
|
(5.22) |
|
|
|
7=1 |
|
|
|
|
|
будет равна числу букв в исходной ДНФ.
Для нахождения более простой формы булевой функции необ ходимо найти такую ДНФ или такое покрытие подмножества Nf интервалами N A a Nf, чтобы (5.22) было минимальным. Для на
хождения функции четырех и пяти переменных можно применять геометрическое представление четырехмерного и пятимерного ку бов.
§ 5. РАЗЛОЖЕНИЕ ФУНКЦИЙ НА КОНСТИТУЕНТЫ (ЗАКОН РАЗЛОЖЕНИЯ ФУНКЦИЙ)
Пусть задана некоторая функция алгебры логики f (х), которую
необходимо разложить относительно х. |
Предположим, что такое |
разложение выполнено, и для любых значений л: имеет вид: |
|
f (x) = ax\JЬх. |
(5.23) |
118
При х |
= l х ■-=--=0 и / (1) = а; |
х = О I ^ 1 |
и f (0) --■=в. Подстав |
|
ляя значения а и в в разложение, |
получим |
|
||
|
|
f(x) = f ( \ ) x y f ( 0 ) x , |
(5.24) |
|
где f (1), |
f (0) — значения исходной функции при значениях х = 1 |
|||
и х |
------ 0 |
соответственно. Умножив обе части |
равенства (5.23) на х |
|
и х, |
получим: |
|
|
|
|
|
х f (х) = ахх V Ьхх —ах, |
|
х f (х) = ахх V Ьхх = Ьх,
или
xf(x) = f(l)x, x f { x ) ~ f (0) x.
Рассмотрим теперь разложение двух переменных / (х, у). Вна чале разложим функцию по л: при фиксированном значении у. Оче видно, можно записать:
fix, у) = ф(х).
На основании (5.24):
ср(х) = ф(1)х\/ф(0)х.
При этом Ф (1) = / (1, у); ф (0) = / (0, у).
Тогда
fix, y) = f{ 1, y)x\Jf{ 0, у)х. |
(5.25) |
Разложив функции / (1, у) и f (0, у) как функции одной перемен ной, пользуясь (5.24), получим:
П 1. |
y) = f i 1. |
1)</V/(1, |
0 )у, |
П о, |
y) = f(o, |
\)yVf(0, |
о) У. - |
Подставив полученные разложения в (5.25), получим оконча тельно:
fix, y) |
= [fi 1, |
1)«/V/(1, 0)j]x\J[fi0, l ) y \ J f ( 0 , 0 ) j ] x = |
|
= |
f(l, 1 )xy\Jf{\, 0) xy\Jf (0, l)xy\Jf(0, 0)xy. |
(5.26) |
|
Формула |
(5.26) |
симметрична относительно обеих переменных |
и поэтому не зависит от порядка, в котором выполняется разложе ние.
Далее, |
пусть имеется некоторая функция алгебры логики |
f ixlt х 2, х3, |
. . . , хп), реализующая какую-то релейно-контактную |
схему, где xt — контакты элементов схемы. Поступив с этой функ цией, как и ранее, получим разложение вначале относительно пере менной х х:
f ( x x, х2, х3, . . . , * „ ) = / ( 1, х2, х3, . . . , х„)ххV V / (0, х2, Х3, . . . , хп) хх.
119
Из этой формулы, в частности, следует, что при преобразовании релейно-контактной схемы число контактов одного из ее элементов может быть всегда сведено к одному переключающему контакту х х.
Выполнив разложение последовательно относительно каждой переменной, получим
/(*!, |
Х2, . . . , |
*„) = /( 1, |
1.............. |
• • |
• •*nV |
|
V/(0, 1, ■••,1)х1-х2- . . .•xn\ J f {\,0, 1, |
... |
|||||
• • • |
-ХпЧ • • |
• V/Ч0, о, |
1, . . . |
, |
1)хг л у х 3- . . . |
|
. . . |
• хпV . . |
. V/(0, о, |
0, . . . . |
|
0) х[х2х3 . . . хп. |
(5.27) |
Полученное разложение представляет собой сумму членов, каж дый из которых является конституентом единицы, умноженным на коэффициент, значение которого равно значению исходной функции, если в ней принять равными единице те переменные, которые вхо дят в конституент в виде простых сомножителей, и равными нулю те переменные, которые в конституент входят с отрицанием. Схема, эквивалентная разложению (5-27), приведена на рис. 25.
f(1,x2,...x„)\-xf
Ф и * г , * з )
~jW,x2t-Xn)\Xl
Рис. 25
В реальной релейно-контактной схеме разложение (5.27) озна чает следующее. Для каждого простого сомножителя конституента нужно соединить накоротко имеющиеся в схеме замыкающие кон такты соответствующего элемента и разомкнуть цепи, содержащие размыкающие контакты. Для каждого сомножителя, входящего
вконституент с отрицанием, нужно разомкнуть все замыкающие
изамкнуть все размыкающие контакты соответствующих элементов. При этом в схеме образуется либо замкнутая, либо разомкнутая цепь. В первом случае коэффициент при соответствующем конституенте будет равен 1, а во втором — 0. Практически это означает, что цепь, содержащая конституенты с коэффициентами, равными единице, нужна для реализации данной дизъюнкции, а цепи, со держащие конституенты с коэффициентами, равными 40, являются лишними при реализации заданной функции и могут быть исклю чены из схемы.
Полученный результат следует толковать так: любая функция алгебры логики может быть представлена в виде суммы некоторых конституентов единицы, а схема, реализующая эту функцию,—
120
в виде ряда параллельных цепей, каждая из которых состоит только из последовательно соединенных элементов.
Рассмотрим пример разложения функции на конституенты еди ницы. Пусть дана схема автомата (рис. 26), которую можно описать функцией алгебры логики:
/(*. У> z) = x (y\fz)\l~x{y\Jz).
Для определения конституентов 1, на которые разлагается данная функция, найдем значения коэффициентов при конституентах и результат сведем в таблицу 5-6.
Согласно (5.27):
/ (х, у, z) = x(y\Jz)\J х (у\/z) — xyz\J xyz\] xyz\J xyz\J xyz\J xyz.
Любая функция алгебры логики может быть разложена на кон-
ституенпгы нуля. Пусть задана некоторая дизъюнкция алгебры
логики, разложенная по отношению к |
|
|
|
|
|
|
|
||||||||||||||
переменной, |
например |
х х, |
в виде: |
|
|
|
|
|
|
|
|
|
|||||||||
f ( xi, ха, . . . . |
|
xn) = (a\/x1)(b\/ x1). |
|
|
|
h |
h |
||||||||||||||
Эта |
формула |
справедлива |
|
для |
|
любых |
|
|
|
||||||||||||
значений х х при фиксированных значениях |
|
|
|
||||||||||||||||||
Ввиду |
того, |
что |
х + |
0 == х, |
|
х |
|
1 — 1, |
|
|
|
II |
II |
||||||||
Xcl i Х 3> |
- • |
• |
> |
Х п ' |
|
|
|
|
|
|
|
|
|
|
|
|
|
У |
Z |
У |
г |
Примем х х =--0, х х == I; |
х х —■ 1, х х =0. |
|
|
|
|
|
|
|
|||||||||||||
будем |
иметь |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
/(0, |
х2, |
. . . , |
х„) = |
(а\/0) (Ь+ 1) = а; |
|
|
|
|
f(*,y>z) |
|
|||||||||||
|
|
|
|
|
|
|
|||||||||||||||
/(1, |
х2, |
. . . , |
*„) = |
(а V I |
Ф + 0) = Ь\ |
|
|
|
|
_ |
l _ |
|
|||||||||
тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис. |
26 |
|
|
f ( xi, |
х2, |
. . . , |
хп) = |
[/ (0, |
х2, х3, . . |
|
xn)\Jxx\ X. |
|
||||||||||||
|
|
|
|
|
|
X [/(1, |
х2 |
х3, |
. . . , xJVxi] . |
|
|
|
|
||||||||
Аналогично |
разложив |
функции |
/(0, |
х 2, ■■■, |
хп) |
и /(1, |
х 2 |
||||||||||||||
х3, . . . , |
хп) |
относительно |
х 2, |
получим: |
|
|
|
|
|
|
|
||||||||||
|
/(0, |
х2, |
х3, . . . , *„) = |
[/(0, |
0, х3, |
|
|
, |
xn)\Jx2] X |
|
|||||||||||
|
X [/ (0, 1, |
х3, |
. . . , |
хп) V х3]; |
/ (1>х2, х3, . ■■>хД |
■ |
|
||||||||||||||
|
— I/ (1 >0) Х3, . |
. . , Хп) \ / Х2) X /(1 >1)^3! |
• |
• |
■>хп)\[ х 2\ , |
|
|||||||||||||||
поэтому |
f (x x, х2, . . |
. , хп) = |
{[(0, |
О, х3, . . |
. , |
Хп)\/х.2] X |
|
||||||||||||||
X [/ (0, |
|
I, |
х3, |
. . . , |
x„)V * 2 lV * iH [/0 . 0, |
*з_, |
• • |
xn)\Jx2) X |
|||||||||||||
|
|
|
|
|
X [/(1, |
1, |
*8. • • ■. *„)V*2lV*lb |
|
|
|
|||||||||||
Рассмотрим |
каждую фигурную скобку |
отдельно; положим: |
|||||||||||||||||||
|
|
|
|
|
|
/ ( 0 , |
0 , |
Х3, • • • ’ Х п ) У Х 2 = С > |
|
|
|
|
|||||||||
|
|
|
|
|
|
/ (0, |
1, |
х3, |
|
. . ■, |
хп) V х2 = d. |
|
|
|
|
121