ЛОГИЧЕСКОЕ УСТРОЙСТВО Советский патент 1973 года по МПК G06F7/00 G06F9/30 

1

Изобретение относится к автоматическим устройствам дискретного типа1, предназначенным для решения задач логического управления, описываемых системой уравнений временных булевых функций по заданному алгоритму.

Известно логическое устройство, позволяющее выполнять логические операции по временным булевым функциям, представленным в дизъюнктивной нормальной |форме (ДНФ).

При изменении задачи логического управления в программном блоке этого устройства достаточно перезаписать алгоритм решения логической задачи.

Однако такое устройство не обеопечивает высокого быстродействия. Кроме того, для решения уравнений, -представленных в конъюнктивной нормальной формй (КНФ), необ ходимо изменить его структуру.

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

Это достигается тем , что устройство содер жит формирователи признака опроса, входы

которого подключены к входным клеммам, а выходы - к входам программного блока, и блок анализа функций, входы которого подсоединены через соответствующие реле времени и индикаторы несовпадений первой группы к выходам программного блока, а выходы через индикаторы несовпадений второй группы - к вы-ходным клеммам устройства.

На чертеже показана блок-схемл логического устройства.

Формирователи 1 № 2 признака опроса соединены с соответствующими входами ассоциативных ячеек 3-W программного блока

//. Число формирователей определяется числом входных переменных решаемой функции, а число ассоциативных ячеек, подключенных к одному формирователю, - количеством элементарных конъюнкций и дизъюнкций, в которых участвует в качестве аргумента; входная переменная, подаваемая на этот формирователь.

Выходы ячеек, в которых хранится алгоритм решения одной конъюнкции или дизъюнкции, объединяются И соединяются с соответствующими индикаторами 12-15 несовпадений.

Число выходов программного блока зависит от числа элементарных дизъюнкций и

конъюнкций во всех функциях, решаемых в

этом устройстве. Выходы индикаторов несовпадеиий подсоединены к входам реле 16-19 времени, а выходы реле времени - к входам ассоциативных ячеек 20-23 блока 24 анализа функций. Ячейки блока, участвующие в решении одной функция, объединяются и подключаются -к соответствующим выходным инд-икатора:М несовпадений.

Для рещения системы уравнений временных булевых -функций в программный блок //, осуществляющий хранение ассоциативных признаков алгоритмов решения элементарных конъюнкций и дизъюнкций, записываются любыМ известным способом алгоритмы рещевия всех конъюнкций и дизъюнкций всех функций. Алгоритм решения; конъюнкции- это набор значений аргументов, т. е. входных переменных, обращающий конъюнкцию в «1, алгоритм решения дизъюн-кцйи - набор значений аргументов, о:бращающий дизъюнкцию в «О. В блок 24 анализа функций, осуществляющий хранение ассоциативных признаков алгоритма решения функций в случае решения функции, представленных в конъюнктивной нормальной форме, записывается «1, а в. случае решения фудкций,. представленный в дизъюнктивной нормальной форме, - «О.

Одновременное решенне достига.ется тем, что каждая входная переменная имеет свой вход и при параллельной подаче на входы 25 и 26 входных переменных, закодированных цифрами О н 1, в блоке М происходит ассоциативный поиск и выделение с помощью нндикаторов несовпадений, всех конъюнкций и дизъюнкций, равных единице на данном наборе значений входных переменных. Выходы слоев блока //, в которых записаньь те дизъюнкции и конъюнкции, которые вклю чают в себя аргумент время, запускают реле Бремени в случае равенства дизъюнкции или конъюнкции «.

в случае отсутствия в конъюнкции и дизъюнкции аргумента время, реле времени устанавливается на «О или совсем исключается.

Результаты решения дизъюнкций и конъюнкций являются признаками поиска решения функций и подаются на соответствующие входы блока.. При наборе значений конъю.нкции или дизъюнкции, при котором функция

равна 1, выходной индикатор несовпадений устанавливается в положение «1. При наборах значений входных непременных, для которых функция, представленная в ДНФ, равна 1, хотя бы одна из элементарных конъюнкций составляет 1 и хотя бы на одном из выходов программного блока // появляется сигнал, соответствующий значению 1, тогда индикатор несовпадений, связанный с

этим выходом, устанавливается в- состояние «1 и запускает реле времени. С выхода реле времени сигнал подается, в блок 24 на одну из ассоциативных ячеек 20-23, в которых записаны нули. Сигнал несовпадения,

выработанный любой из этих ячеек, который образуется на одном из выходов 27 и 28, является рещением функции. При решении функции, представленной в КНФ, хотя бы один сигнал, соответствующий значению элементарной дизъюнкции, равному О, поступает через индикаторы несовпадений и реле времени в блок 24 на те из ячеек 20-23, в которых записаны «1. Сигнал несовпадения., .вырабатываемый

ЭТИМИ ячейками, устанавливает один из индикаторов несовп-адения в положение, соотеетствую.щее значению функции, равное 0.

Таким образом, все функции решаются одновременно по всем аргументам. При. изменении формы представления функции необходимо только перезаписать алгоритм решения функции.

Предмет изобретения

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

лиза функций, входы которого подсоединены через соответствующие реле времени ц индикаторы несовпадений первой группы к выходам программного блока, а выходы, через индикаторы несовпадений второй группы -

к выходным клеммам устройства-.

.25

2f