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

ОПИСАНИЕИЗОБРЕТЕНИЯК АВТОРСКОМУ СВИ ИТВЛЬСТВУ Союз Советских Социалистических Республик(22) Заявлено 050178 (21) 2567969/18-24с присоединением заявки Йо(23) ПриоритетОпубликовано3006 80. Бюллетень Мо 24Дата опубликования описания 3006.80 р)м, к . С 06 6 7/48 Государственный комитет СССР по делам изобретений и открытий(72) Авторы изобретения Б.А.Борконский, А.Ф.Катков и В,П.Романцон Институт электродинамики АН Украинской ССР(54) УСТРОЙСТВО ДЛЯ РЕШЕНИЯ СИСТЕМ ЛОГИЧЕСКИХ УРАВНЕНИИЗО Изобретение относится к вычислительной технике и.предназначенодля использования в нычислительныхсистемах различного назначения, вчастности при исследовании работыконечных антоматов при заданных огра-ничениях,Известны устройства для моделирования логических Функций, используемые при построении логических автома- тОтов. Эти устройства состоят из логических элементов, соединенных "междусобой в соответствии с моделируемойфункцией, и применяются для нахождения значений логической Функции 15при заданных значениях логическихпеременных ,т.е. при решении прямыхзадач 1),Недостаток известного устройствасостоит в невозможности решения обрат ных и смешанных задач.Наиболее близким по техническойсущности к предлагаемому являетсяустройство для решения систем логических уравнений,содержащее регистры, блоки задания логических функций, сумматоры по модулю два (2,Недостаток известного устройстназаключается в невозможности решенияобратных и смешанных задач,Цель изобретения - расширение класса решаемых задач эа счет возможМости решения обратных и смешанных задач.Поставленная цель достигается тем,что в уСтройство для "решения . систем логических уравнений, содержащее и каналов, каждый из которых содержит блок задания логических функций, выход которого соединен с первым входом сумматора по модулю два,-второй вход которого подключен к шине истинного значения логической переменной, третий вход сумматора по модулю два соединен с шиной истинного" зйачеййя лбгической функции, в каждый канал дополнительно введены первый, второй, третий и четвертый элементы НЕ, первый, второй, третий и четвертый делители напряжения, первый, второй, третий и четвертый переключатели, причем в каждом канале выход блока задания логических функций соединен со входом первого элемента НЕ, выход которого подключен ко входупервого переключателя, выход которого через второй элемент НЕ соединен со входом второго переключателя, выход которого соединен со вторым входом сумматора744644 4 е по модулю два, выход которого через третий элемент НЕ подключен ко входу третьего переключателя, выход которого соединен со входом четвертого элемента РЕ, выход которого подключен кО.входу четвертого переключатеЛя, выходы переключателей всех каналов соединены с шинами инверсного значения логических Функций.На чертеже схематически представлено предлагаемое устройство.Устройство содержит трехвходовые сумматоры 1 по модулю два, блоки 2 задания логических Функций, элементы НЕ 3, переключатели 4, источники 5 и 6 напряжения делители 7 напряжения, Все пары шин истинных и инверсных 1 значений логических переменных и функций устройства служат входными или выходными беэ какой-либо перестройки.Устройство работает следующим образом. 20В исходном состбянии устройство находится в равновесии, На тех шинах истинных и инверсных значений логических функций и переменных, которые не соединены с помощью переключателя 4 с источником 6 напряжения, формируются от источника 5 напряжения, через. делители 7 напряжения, равные, например, логической единиФ Фце . На тех же шинах, которые соединены с источником 6 напряжения, 30 напряжение равно величи(е источника 6 напряжения, соответствующее логи-. ческому нулюф, Если устройство находится в равновесии, то на входах сумматоров 1 по модулю два комбинация 35 кодов непротиворечива, т.е. Удовлетворяет системе уравнений ника 6. Заданные значения логическихфункций и переменных с помощью эле-ментов НЕ 3 и переключателей 4 преобразуются в истинные значения и подаются на входы сумматоров 1 по модулю два и блоков 2 задания логическихфункций соответственно. В результате введенной информации на входахсумматоров 1 по модулю два возникаетпротиворечивая комбинация кодов.Схема выходит иэ устойчивого состояния и, находится в переходном режиме,пока сумматоры 1 по модулю два неотработают на своих выходах такиезначения, которые удовлетворяют системе (а) .5 Предлагаемое устройство, благодаря наличию новых элементов и связеймежду ними, позволяет решать прямую,обратную и смешанные зацачи,Формула изобретения 40 Г (х х хл)+у+ х, = х,Г (х, х, хл)+у+ х. = Хреееее,Ы (х, хл,.Ха)+уп+ хп = хя (а). где х, х, х- значения логигческих переменных;уу , у, - значения логи 2ческих Функций;45( х хгхд)гГ О (Х 1 Х 2Хп) - логические Функции, моделируемые блоками2 моделйрованйя логическихФункций. 50На соответствующих парах шин, которые при решении конкретной задачи являются входными, задают значения известных переменных и функций в виде истинных значений и их отрицаний, 55 прйчем значения задаваемых логических единицф подтверждаются устройством в конце переходного процесса, так как они формируются на всех шинах с помощью источйика 5 напряжения и делителей 7 найряжения, а значения логических нулей задают от источника 6 напряжения с величиной напряжения, равной напряжению источУстройство для решения систем логических уравнений, содержащее и каналов, каждый из которых содержитблок задания логических функций, выход которого соединен с первым входомсумматора по модулю два, второй входкоторого подключен к шиие истинногозначения логической переменной, третий вход сумматора по модулю два соединен с шиной истинного значения логической Функции, о т л и ч а ю щ е ес я тем, что, с целью расширениякласса решаемых задач за счет возможности решения обратных и смешанныхзадач, в каждый канал дополнительновведены первый, второй, третий и четвертый элементы НЕ, первый, второй,третий и четвертый делители напряжения, первый, второй, третий и четвертый переключатели, причем в каждомканале выход блока задания логических функций соединен со входом первого элемента НЕ, выход которого подключен ко входу первого переключателя, выход которого через второйэлемент НЕ соединен с входом второгопереключателя, выход которого соединен со вторым входом сумматора помодулю два, выход которого черезтретий элемент НЕ подключен ко входу.третьего переключателя, выход которого соединен со входом четвертогоэЛемента НЕ, выход которого подключен ко входу четвертого переключателя, выходы переключателей всехканалов соедйнены с шинами инверсного значения логических функций.Источники информации,принятые во внимание при экспертизе1. Патент Японии 9 48-4105,кл, 6 06 Р 15/00, опублик. 1973.2, Авторское свидетельство СССР9486331, кл. С 06 6 7/48, опублик.1975.744644 с авите.пь А.Колед Я. Кузьма инКорр ктор И актар В.Романен аж 751 ного к ений и Раушс е л ППППатент , г. Ужгород, Ул. Проектная,Фил Заказ 3818/15 Ти цнИипИ Государстве по делам изобре 113035, Иосква, Ж