Устройство для решения логических уравнений

СОЮЗ СОВЕТСКИХСОЦИАЛИСТИЧЕСКИХРЕСПУБЛИН 6 Р 152 ИЗОБРЕТЕНИЯ ПИС ТЕЛЬСТВУ ВТОРСНОМУ нс СССР 977, СР 1985ЛОГИЧ вычис- устрой ГОСУДАРСТВЕННЫЙ КОМИТЕТ ССС ПО ДЕЛАМ ИЗОБРЕТЕНИЙ И ОТКРЫ(54) УСТРОЙСТВО ДЛЯ РЕШЕНИЯКИХ УРАВНЕНИЙ(57) Изобретение относится клительной технике, а именно к ЯО 14117 ствам для решения логических уравнений. Цель изобретения - повышение точности устройства за счет получения решения минимальной мощности, Устройство содержит счетчик 3, и групп элементов 4 -4 по ш элементов И в каж 1дой, где п - число переменных уравнения; ш - разрядность коэффициентов уравнения, операционный блок 5, блок 6 сравнения, триггер 7, элементы НЕ 8 и 9, элемент И 13 и блок 14 памяти. В основе работы устройства лежит формирование лексикографически упорядоченных значений параметров и оценки решения на каждом шаге. 3 ил., 1 табл.Изобретение относится к вычислительной технике, а именно к специализированньм устройствам для решения логических уравнений,Цель изобретения - повышение точности за счет получения решения минимальной мощности.На фиг.1 представлена схема устройства; на фиг,2 " схема операцион 1ного блока на фиг.3 - схема блокаэсравнения,Устройство содержит входы 1, - 1коэффициентов уравнения устройства,вход 1, правой части уравнения устройства, выходы 2 результата устройства, счетчик 3, группы 4- 4 с первой по и-ю элементов И, операционныйблок 5, блок 6 сравнения, триггер 7,первый 8 и второй 9 элементы НЕ, выходы 1 О признака отсутствия решения,уравнения устройства, выход 11 признака наличия решения уравнения устройства, тактовый вход 12 устройства,элемент И 13, блок 14 памяти, Операционный блок 5 содержит сумматоры15- 15 по модулю 2, выходы 1 б операционного блока, Блок б сравнениясодержит элементы РАВНОЗНАЧНОСТЬ 17, -17 э,э элемент И 18,ЗОУстройство, работает следующим образом,Устройство предназначено для решения логических уравнений вида35.г х А;=В прих - пппэ:эгде А - 1.-е ш-разрядное двоичноеслово;и - количество двоичных слов и,соответственно, количество,переменных;; . О,1В - двоичное слово, соответствующее правой части уравнения.45Решение уравнения заключается вопРеделении множества х= 1 х э х,минимальной мощности, удовлетворяющего этому условиюо50В зависимости от двоичного кода, поступающего с выхода счетчика 3, с выхода блока 14 памяти выдаются сигналы "1" в соответствующих позициях, при этом номера позиций "1", фор мируемые для каждого состояния счетчика 3, являются лексикографически упорядоченными, В таблице приведен пример формирования сочетания для п=3,Значения сигЗначения формирователя сочетаний наналоввыходахвходахООО0000010010100100111001001 О10110110Из таблицы видно, что вначале формируются сочетания по одному элементу, затем по два, по три и т.д,На входы 1, - 1 подаются соответственно двоичные слова А ,эАэ, наэвход 1, подается двоичное слово В, Ц-й разряд всех двоичных слов, имеющий вес 2 1-", подается на 1-й вход, 1 щ 1ш). В исходном состоянии триггер 7 находится в состоянии "1", двоичный счетчик 3 в состоянии ОО. На.выходе блока 14 памяти двоичный код 001. На Ь+1)-м выходе двоичного счетчика - сигнал "0", на выходе элемента НЕ 9 "1", поэтому после подачи тактовых импульсов через элемент И 13 импульсы поступают иа счетный вход двоичного счетчика 3, меняя его состояние. Значение 1-го выходного разряда блока 14 памяти соответст" вует значению х , Если х =1, то открывается х-я группа элементов И 4, и на вход операционного блока 5 поступает двоичное слово А;, если х =О, то А=О. Операционный блок 5 вычисляет выражениеэС =Ж х.Аээпутем поразрядного сложения по модулю 2 соответствующих разрядов, поступающих на его входы двоичных чисел.Блок б сравнения производит поразрядное сравнение чисел С и В, ПриВ=С на выходе блока 6 сравнения формируется сигнал 1 , сбрасывающий триггер 7 в нулевое состояние, При этом закрывается элемент И 13, и импульсы не пиоходят на счетный вход двоичного счетчика 3 и не меняют его состояния.В процессе решения могут быть два случая.Решение уравнения существует. При этом на выходе 11 появляется признак наличия решения, и значение разрядов на выходах 2 результата соответствует значениям х.Решения нет. В этом случае после перебора всех 2 вариантов двоичный счетчик 3 на (и+1.)-м выходе формирует сигнал "1", при этом на выходе 10 появляется признак отсутствия решения, через элемент НЕ 9 на вход элемента И 3 поступает сигнал 0", закрывающий поступление импульсов на счетный вход счетчика 3,Формула изобретенияУстройство для решения логических уравнений, содержащее счетчик, эле" мент И, первый и второй элементы НЕ, триггер, операционный блок, блок сравнения, и групп по ш элементов И, каждая, где и - число переменных уравнения, ш - разрядность коэффициентов уравнения, причем 1-й вход (=1,ш) 1-го (3.=1п) коэффициента уравнения устройства подключен к первому входу 1-го элемента И1 - й группы выход которогочек к 1-му информационному входу д-йгруппы операционного блока, -й выход которого подключен к 1-му входупервой группы блока сравнения, 1-йвход второй группы блока сравненияподключен к-му входу значения .правой части уравнения устройства, тактовый вход устройства подключен кпервому входу элемента И, выход которого подключен к счетному входу счетчика, первый информационный выход которого подключен к выходу признакаотсутствия решения устройства и квходу первого элемента НЕ, выход которого подключен к второму входу элемента И, выход блока сравнения подключен к счетному входу триггера, выход которого подключен к выходу признака наличия решения устройства и квходу второго элемента НЕ, выход которого подключен к третьему входу 25 элемента И, о т л и ч а ю щ е е с ятем, что, с целью повышения точностиэа счет получения решения минимальной мощности, оно содержит блок памяти, причем с второго по (и+1)-й информационные выходы счетчика подключены соответственно к адресным входам с первого по п-й блока памяти,вход чтения которого подключен к тактовому входу устройства, -й выходблока памяти подключен к -му выходурезультата решения устройства и квторым входам ш элементов -й группы.141176 с Составитель В.Смирнов Техред М,Дидык Корректор С.Черн об Подписно оизводствецно-полиграфическое предприятие, г, Ужгород, ул, Проектная,едактораказ 366 Тираж 704 ВНИИПИ Государственн по делам изобрете 035, Москва, Ж, Р