Устройство для определения тупиковых дизьюнктивных нормальных логических функций

Устройство для определения тупиковых дизьюнктивных нормальных логических функций

Иллюстрации

Показать все

Реферат

 

Союз Советских

Социалистических

Респ облик

ОП ИСАHHF

ИЗОБРЕТЕН Ия

К АВТОРСКОМУ СВИ4ЕТЕЛЬСТВУ (0i) Дополнительное к авт. свид-вх (22) Заявлено 06.11.73 (21) 19?1836/26-21 (51) >l. Кл. Н 03k 19/00 с пр1!соед !!)ением заявки ¹ ——

Гасударственный комитет

Соната Министров СССР по делам изобретений и открытий (23) Пр1!!)р!Гтс !—

О )убликовг!но 30.06.75. Бюллетень ¹ 24 (53) УДК 621.374 (088.8) Дата опубликования описания 02.08.76. (72) Авгор изоорстсl! Ii я

П. E. Чистяков (71) Заявитель (54) УСТРОЙСТВО ДЛЯ ОПРЕДЕЛЕНИЯ

ТУПИКОВЫХ ДИЗЪЮНКТИВНЫХ НОРМАЛЬНЫХ

ЛОГИЧЕСКИХ ФУНКЦИЙ

Изобретен!1с I)TIIocIITP» к I)à!аст;i вь!ч!)с,iiiтельной техники.

Известны методы оирсдс1cIIHII туги)новых

ДИЗЪIОНКТ1!Виl>1Х НОРМ 11,1ЬНЬ1Х,! ОГII IPÑIúllë ф) НКций (ДНФ) с использованием импликантных таблиц. Однако эти методы при определении тупикОвых ДНФ с,10жных ГIОГических фуII«lqllll мало эффективны, поскольку связаны с большим объемом ручных в!!числительных операций Il не искл!Очаlот суоъект!)ви11х Оп)воок 13ыч ислителя.

Целью изобретения является повышение оыстродействия при определении тупиковых

ДНФ исходной логической функции и искгпочение субъективных ошибок вычислителя.

Сущность изобретения заключается 13 том, что выходы генератора сочетаний через К элементарных цепочек релейной структуры наборного поля соединены со счетным входом двоичного счетчика, выход которого соединен с управляющим входом кл)оча, Тс же выходы генератора сочетаний через кл)оч соединены с входом регистрпрх!Ощего устройства, первый выход генератора конституент единицы соединен с наборным полем, а второй выход — с управляющим входом двоичного счетчика и через линию задержки с устрой"твом ввода дополнений и с входами генератора сочетаний и генератора конституент единицы.

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

На наборном поле 1 набираются, например, на контакта реле К элементарных цепочек релейной структуры, причем каждая из цепочек структуры соответствует простой импликаптс исходной логической функции в ДНФ. В качестве примера на чертеже изображены четыре цепочки, каждой из KoTopblx соответству T простоя импл!)канта исходной функции в

Д1-1 Ф: I0 F=x ° е+ г ° y+s z+y.ã. (1)

Генератор 2 конституент единицы предназначен для генерирования таких пг наооров, которые изменяют состояния исполнительных элементов (в данном случае в качестве исполнительных элементов использованы реле

3т, у, а, обмотки этих реле на чертеже Hp. показаны) и таким образом имитируют наборы переменных, при которы3х исходная функция принимает единичные значения.

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

Генератор 3 сочеташгй служит для подачи положительных потенциалов налряжения на

К элементарны цепочек структуры во всех возможных сочетаниях

С) 1 СУ,2 „,С)!. (2)

Двоичный счетчик 4 служит для формиро475739 нация управляющих сигналов на выходе прн поступлении на его счетный Вход имиу 5ьсов с выхода набранной релейной структуры на на борном поле 1. 3ТО осуществляется путем ввода дополнения в двоичный счетчик 4 с помощью устройства 5 ввода дополнеш5й.

Ключ 6 управляет ситналамн на выходе генератора 3 при подаче нх на вход регистрирующего устройства 7.

Линия задержки 8 осуществляет задержкх унравля5ощих сигналов.

Выходы генератора 3 сочетаний К элсмснтарш.5х цепочек релейной структуры наборного по, IH 1 соединены со счетным входом .двоичного счетчика 4, выход,которо5о соединен с управляющим входом ключа 6, те же вь5ходы генератора 3 сочетаний через ключ 6 соединепы с входами регистрирующего устройства 7, первый .Выход генератора конституент единицы соединен с наборным, полем 1, а второй

l5ÛÕIl:I — с управля50Щим Входом дВО5I×I(ÎÃO счетчика 4 15 через линию задержки 8 с устройством ввода дополнений и с входамн генератора сочетаний и генератора конституент единицы.

Работу устройства рассмотрим на примере определения тупиковых ДНФ логической функции (1) ) .

На наборном поле 1 набираются элементарцепочки, соответствующие лростым имплиHHIITHм лог55ческой ф)"нкции (1) . ПО Оманде

«Исходное» («И») генераторы 2 и 3 н двоичный счетчик 4 уста55авлива5отся в исходное положение. 11а первый вход устройства 5 подастся постоянный сигнал «Д», обеспечива5онцш ввод соответствующего дополнения H счетчик 4 нрн появлении управляющего сшнала на втором входе устройства 5.

Пусть для нашего примера консвнтуептам55 сlIIHIIIlII будут: лу=-, лд, лу, л.уг, .гу=-, (3) т. с. число конституент еднн5гцы nz=5.

lIo коман <с «Пуск» на выходе устройства 5 формируется дополнение и записывается В счетчик 4; генератор 3 формирует первый сигнал, соответствующий одному сочетанию нз множества всевозможных сочетаний (2) и этот сигнал остается постоянным до прихода на вход генератора 3 следующего управляющего сигнала, но управляющему сигналу I .II нервом выходе генератора 2 последовательно формируется riz сигналоь, соотвс 5ству5ощнх констнтуентам единицы (3).

Если на всех nz сигналах, соответству5ощнх конституентам единицы (3), проводимость набранной структуры окажется единичной, то на выходе двоичного счетчика 4 будет сформирован импульсный управляющий сигнал, ио которому ключ 6 кратковременно открывается, и постоянный сигнал с выхода генератора

3 ф5и<сируется регистрирующим устройством 7 н вь5ра>кает набор простых импликант, которые составляют отдельную тупиковую ДНФ логической функции.

Одновременно но и5-му сигналу, на втором

«ыходс генератора 2 формируется управляющий снп5ал, который подтверждает исходное состояние счетчика 4 и через липию задержKlI 8 поступает на вход устройства 5, формирует дополнение и вводит его в счетчик 4. Кроме того, сигнал с выхода генератора 2 через лпншо задержки 8 поступает на входы генераторов 3 и 2. При этом на выходе генерато1о ра 3 формируется постоянный си5ч5ал, соотВетствующий второму сочетанию нз ililoHcecTва (2), а генератор 2 последовательно начинает формировать и сигналов, соот55етст55уl0щих конституентам единицы (3) .

15 При поступлении второго и последующих управляющих сигналов с выхода счетч55ка 4 и генератора конституент единицы устрой T»о работает аналогично.

Если при последовательной вь5даче с гснс20 ратора 2 nz сигналов, соответствующих конституентам единицы (3), на выходе релейной схемы 1 окажется единичных сигналов т5(и, то на выходе счетчика 4 управляющий сигнал не сформируется, ключ 6 не 0TKipoQTcH и, сле25 довательно, сигнал на выходе генератора 3 не будет зафиксирован регистрирующим устройством 7. 3То означает, что выбранное сочетание простых импликант из множества сочетаний (2) не удовлетворяет тупиковый Д11Ф

ЗО логической функции (1).

Прн этом ш> 5п-му снгналу на Втором IIIIxoде генератора 2 всякий раз будет формироваться управляющий сигнал, но которому счетчик 4 будет устанавливаться в исходное положение, а затем по этому же си — íàëó, проходящему через гншшо задержки 8 и усгройство 5, будет вводиться дополнение в счетчик 4. Кроме того, управляющий сигнал, Ilpoходящий через лш5нио задержки 8, будет

4о включать в работу генераторы 3 и 2. Как только на вход генератора 3 поступпт ч55сло уHравляющнх импульсов, равное множеству (2), на управляющем выходе генератора 3 сформируется сигнал «Стоп», по которому ге45 нераторы 2 и 3, а также счетчик 4 устанавливаются в исходное положение. При повторной выдаче команды «Пуск» цикл работы устропства повторяется.

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

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

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

475739

Составитель Д. Еолубовнч

Редактор В. Булдаков Техред Т. Миронова Корректор М. Лейзерман

Заказ 5827 Изд. № 1601 Тираж 902 Подписное

ЦНИИПИ Государственного комитета Совета Министров СССР по делам изобретений а открытый

113035, Москва, Ж-зб, Раушская наб., д. 4/б

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