Логическое устройство

, ф ь,.,1;,О П Й б-А-"Н=М ЕИЗОБРЕТЕНИЯК АВТОРСКОМУ СВИДЕТЕЛЬСТВУ 373580 Союз Сооетских Социалистических РеспубликЗависимое от авт. свидетельствааявлено ЗО.Ч 1.1970 ( 1454962/18-24 М, Кл. б 061 15/О соединением заявки М Комитет по делам изобретений и открыти при Сосете Министроо СССРиоритет УДК 681.325,6 (088.8) Бюллетень12 публиковано 22,.19 опубликования описания 26,Ч 1.1973 вторызобретен Б. Е, Бычков, А, П, Кириллов, Ю. Н. Бутин и Ю. А. Заколдае явитель ЛОГИЧЕСКОЕ УСТРОЙСТВО Изобретение относится к автоматическимустройствам дискретного типа, предназначенным для решения задач логического управления, описываемых системой уравнений временных булевых функций по заданному алгоритму.Известно логическое устройство, позволяющее выполнять логические операции по временным булевым функциям, представленнымв дизъюнктивной нормальной форме (ДНФ), 10При изменении задачи логического управления в программном блоке этого устройствадостаточно перезаписать алгоритм решениялогической задачи,Однако такое устройство не обеспечивает 15высокого быстродействия, Кроме того, длярешения уравнений, представленных в коньюнктивной нормальной форме (КНФ), необходимо изменить его структуру.Цель изобретения - повышение быстродействия устройства при выполнении логическихопераций по временным булевым функциямза счет одновременного решения всех функций по всем аргументам и,расширение функциональных возможностей, т. е. реализация 25логических функций, представленных в дизьюнктивной или конъюнктивной нормальнойформе без изменения, структуры устройства,Это достигается тем, что устройство содер=жит формирователи признака опроса, входы 30 которого подключены к входньсм клеммам, а выходы - к входам программного блока, и блок анализа функций, входы которого подсоединены через соответствующие, реле времени и индикаторы несовпадений первой группы к выходам программного блока, а выходы через индикаторы несовпадений второй группы - к выходным клеммам устройства.На чертеже показана блок-схема логического устройства.Формирователи 1 и 2 признака опроса 1 соединены с соответствующими входами ассоциативных ячеек 3 - 10 программного блока 11. Число формирователей определяется числом входных переменных решаемой функции, а число ассоциативных ячеек, подключенных к одному формирователю, - количеством элементарных конъюнкций и дизъюнкций, в которых участвует в качестве аргумента входная переменившая, подаваемая на этот формирователь.Выходы ячеек, в которых хранится алгоритм решения одной конъюнкции или дизьюнкции, объединяются и соединяются с соответствующими индикаторами 12 - 15 несовпадений.Число выходов программного блока зависит от числа элементарных дизъюнкций и конъюнкций во всех функциях, решаемых в35 40 45 50 этом устройстве. Выходы индикаторов несовпадений подсоединены к входам реле 1 б - 19 времени, а выходы реле времени - к входам ассоциативных ячеек 20 - 23 блока 24 анализа функций. Ячейки блока, участвующие в решении одной функции, объединяются и подключаются к соответствующим выходным индикаторам несовпадений.Для решения системы уравнений временных булевых функций в программный блок 11, осуществляющий хранение ассоциативных признаков алгоритмов решения элементарных конъюнкций и дизъюнкций, записываются любым известным способом алгоритмы решенив всех конъюнкций и дизъюнкций всех функций. Алгоритм решения, конъюнкции - это набор значений аргументов, т. е. входных переменных, обращающий конъюнкцию в 1, алгоритм решения дизъюнкции - набор значений аргументов, обращающий дизъюнкцию в О. В блок 24 анализа функций, осуществляющий хранение ассоциативных признаков алгоритма решения функций,в случае решения функции, представленных,в конъюнктивной нормальной форме, записывается 1, а в случае решения функций, представленных в дизъюнктивной нормальной форме, - О.Одновременное решение достигается тем, что каждая входная перемененная имеет свой вход и при параллельной подаче на входы 25 и 2 б входных переменных, закодированных цифрами О и 1, в блоке 11 происходит ассоциативный поиск и,выделение,с помощью индикаторов несовпадений, всех конъюнкций и дизъюнкций, равных единице на данном наборе значений входных переменных. Выходы, слоев блока 11, в которых записаны те дизъюнкции и конъюнкции, которые вклю= чают в себя аргумент время, запускают реле 1 б - 19 времени в случае равенства дизъюнкции или конъюнкции 1.В случае отсутствия в конъюнкции и дизьюнкции аргумента, время реле времени устанавливается на О или совсем исключается.Результаты решения дизъюнкций и коньюнкций являются признаками поиска решения функций и подаются на,соответствующие входы блока. При наборе значений конъюнкции или дизъюнкции, при котором функция 5 10 15 20 25 30 4равна 1, выходной индикатор несовпадений устанавливается в положение 1. При наборах значений входных переменных, для которых функция, представленная в ДНФ, равна 1, хотя бы одна из элементарных конъюнкций составляет 1 и хотя бы на одном из выходов программного блока 11 появляется сигнаалсоответствующий значению 1, тогда индикатор несовпадений, связанный с этим выходом, устанавливается в состояние 1 и запускает реле времени. С выхода реле времени сигнал подается в блок 24 на одну из ассоциативных ячеек 20 - 23, в которых записаны надули, Сигнал несовпадения, выработанный любой из этих ячеек, который образуется на одном из выходов 27 и 28, является, решением функции. При решенни функции, представленной в КНФ, хотя бы один сигнал, соответствующий значению элементарной дизъюнкции, равному О, поступает через индикаторы несовпадений и реле времени в блок 24 на те из ячеек 20 - ;23, в которых записаны 1.Сигнал несовпадениявырабатываемый этими ячейками, устанавливает один из индикаторов несовпадения в положение, соответствующее значению функции, равное О.Таким образом, все функции решаются одновременно по всем аргументам. При изменении формы представления функции необходимо только перезаписать алгоритм решения функции. Предмет изобретенияЛогическое устройство, содержащее про= граммный блок, реле времени, индикаторы несовпадений, отличающееся тем, что, с целью повышения быстродействия при выполнении логических операций по временным булевым функциям, оно содержит формиро= ватели признака опроса, входы которого подсоединены к входным клеммам, а выходы - к входам программного блока, и блок анализа функций, входы которого подсоединены через соответствующие реле времени и индикаторы несовпадений первой группы к выходам программного блока, а выходы через индикаторы несовпадений .второй группы - к выходным клеммам устройства,.Составитель И. ДолгушеваРедактор И. Грузова Техред Т. Курилко Корректоры: В, Петроваи А. НиколаеваЗаказ 1661/12 Изд. М 1254 Тираж 647 ПодписноЦНИИПИ Комитета по делам изобретений и открытий при Совете Министров СССМосква, Ж, Раушская наб д. 4/5ипография, пр. Сапунова, 2