Устройство для сравнения кодов Советский патент 1989 года по МПК G06F7/04 

I

(Л

Издбретение может быть использовано при реализации технических средств ЭВМ и специализированных устройств, решающих комбинаторные задачи, задачи анализа сетей методами теории графов, .задачи оценки надежности структурно-сложных систем, задачи сравнения и преобразования форм представления буровых функций, а также определения булевых дифференциалов. Целью изобретения является расширение области применения путем обеспечения возможности определения факта равенства логической единице любой булевой функцг-ш, заданной дизъюнктивной нормальной формой (ДНФ), на принятом наборе переменных. Устройство содержит входной регистр 1, группу регистров 2 и 3 кода, группы элементов ИЛИ 4-6, группу злементов И 7, элемент ИЛИ 8. 1 ил. 2

- .1

х.1.1

i«k г

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

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

.На чертеже представлена схема устройства.

Устройство содержит входной регистр 1, первую и BTopiTo группы ристров 2 и 3 кода, группы элемен-. тон ШШ 4-6, группу-элементов И 7, элемент ИЛИ 8, вход 9 и выход 10,

Устройство работает следующим образом,

Элементарная конъюнкция ранга г m (рангом называется количество переменных X кодируется двумя дво-. ичными m-разрядными кодами А (а(,..., э; ... J am) и В (Ь, .. . . , Ь,-,. . . 5 Ь, где а.;, Ь p.iOj, причем для всех

X.

не содержащихся з :-1лементарнои

кон-ыонкции, и только ДJCя них в 1-х разрядах кода А загшсывается 1 и в остальных разрядах О, а для всех Х - в i-x разрядах кода В записывается О и в остальных разрядах 1, Напртер, элементарная конъюнкция при m 5 будет представлена кодами А (01001) и В (11011).

При таком способе кодирования определение факта, поглоще ния элементарной конъюнк1..щей npHttHToro набора переменных X (Х,,. . ,К;, ,. .,Х(), где X; О или 1 (i 1, п), осуществляется проверкой следу7още;го условия m ni

Л( V a;X;) .л (у b,X,)1 ; i .

В исходном состоякаи каждая элементарная конъюнкция заданной функции, представленная кодами Ag и Bg, записьшается в регистры 2 и 3 соответственно. Незадействованные регистры 2 и 3 (не содержащие элементарный конъюнкций) должны быть обнулены.

Идентифицируемые наборы в процессе проверки заносятся поочередно во входной регистр 1, Значащие разряды проверяемых наборов в регистре 1 могут варьироваться только в пределах значения К (К m), где К - количество переменных заданной булевой функции. На выходе 10 устройства логическая 1 будет сформирована лишь в том случае, если проверяемый набор поглощается хотя бы одной из элементарных конъюнкций из заданных в регистрах 2 и 3,

Действительно, если проверяемый набор поглощается данной элементарной конъюнкц1-1ей, то на выходах всех элементов ИЛИ 4-6, связанных с регистрами, содержащими коды А и Б данной элементарной конъюнкции, будут единичные сигналы, что обеспечивает формирование единичного сигнала на выходе элемента И 8 и выдачу его через элемент ШВ 7 на выход 10 уст

роиства.

Формула изобретения

Устройство для сравнения кодов.

содержащее входной регистр, первую группу из п регистров кода, где п - максима.пьно возможное количество сравниваемых кодов, п групп по m двухвходовых элементов ИЛИ, где m количество разрядов сравниваемых кодов, группу из п элементов И, элемент ИЛИ, группу из П-, т-входовых . , элементов ИЛИ, причем информационный вход устройства соединен с информационным входом входного регистра, прямой выход 1-го разряда которого, где i 1 ,2,0, ,m, соединён с первыми входами всех i-х двухвходовьпс элементов ИЛИ всех групп, инверсный выход i-ro разряда, j-ro регистра кода первой группы, где j 1,2,-, ,.,п, соединен с вторым входом i-ro двух- входового элемента ИЛИ j-й группы, выход которого соединен с i-м входом

j-го элемента И группы, выход которого соединен с j-м входом элемента ИЛИ, выход которого является выходом устройства, выход j-ro m-входово- го элемента ИЛИ группы соединен с :

(т+1)-м входом j-ro элемента И группы, отличающееся тем, что, с целью расширения области применения за счет обеспечения возможности определения факта равенства логичес3 1464154

кой единице любой булевой функции,групп с (п+1)-й по 2п-ю, прямой вызаданной -ДНФ на принятом наборе пе-ход i-ro разряда j-ro регистра кода

ременных, в него введена вторая груп-второй группы соединен с i-м входом

па из п, регистров кода и п групп по j-ro m-входового элемента ШШ группы

m двухвходовых элементов ИЛИ, причеми с вторым входом i-ro двухвходового

инверсный выход i-rb разряда входно-элемента Р1ПИ Ot+j)-A группы, выход

го регистра соединен с первыми вхо-которого соединен с (т+1+1)-м входом

дами i-x двухвходовых элементов ИЛИj-ro элемента И группы.