ЛОГИЧЕСКИЙ ПРЕОБРАЗОВАТЕЛЬ
LOGIC CONVERTER

Изобретение относится к вычислительной технике и может быть использовано для построения средств автоматики, функциональных узлов систем управления и др.
1
1
2
3
4
2
1
2
1
3
1
4
2
3
2
4
3
4
3
1
2
3
1
2
4
1
3
4
2
3
4
4
1
2
3
4
1
2
3
4
Известны логические преобразователи (см., например, патент РФ 2281545, кл. G06F 7/57, 2006 г.), которые содержат мажоритарные элементы и с помощью константной настройки реализуют любую из четырех простых симметричных булевых функций τ=x∨x∨x∨x, τ=xx∨xx∨xx∨xx∨xx∨xx, τ=xxx∨xxx∨xxx∨xxx, τ=xxxx, зависящих от четырех аргументов - входных двоичных сигналов x, x, x, x∈{0,1}.
К причине, препятствующей достижению указанного ниже технического результата при использовании известных логических преобразователей, относятся большие аппаратурные затраты, обусловленные тем, что, в частности, упомянутый аналог содержит семь мажоритарных элементов.
1
1
2
3
4
2
1
2
1
3
1
4
2
3
2
4
3
4
3
1
2
3
1
2
4
1
3
4
2
3
4
4
1
2
3
4
1
2
3
4
Наиболее близким устройством того же назначения к заявленному изобретению по совокупности признаков является принятый за прототип логический преобразователь (патент РФ 2417404, кл. G06F7/57, 2011 г.), который содержит мажоритарные элементы и с помощью константной настройки реализует любую из четырех простых симметричных булевых функций τ=x∨x∨x∨x, τ=xx∨xx∨xx∨xx∨xx∨xx, τ=xxx∨xxx∨xxx∨xxx, τ=xxxx, зависящих от четырех аргументов - входных двоичных сигналов x, x, x, x∈{0,1}.
К причине, препятствующей достижению указанного ниже технического результата при использовании прототипа, относятся большие аппаратурные затраты, обусловленные тем, что прототип содержит шесть мажоритарных элементов.
Техническим результатом изобретения является уменьшение аппаратурных затрат при сохранении функциональных возможностей прототипа.
Указанный технический результат при осуществлении изобретения достигается тем, что в логическом преобразователе, содержащем пять мажоритарных элементов и подключенном первым, вторым информационными входами соответственно ко второму, третьему входам первого мажоритарного элемента, выход которого соединен со вторым входом третьего мажоритарного элемента, подключенного первым входом к первому входу четвертого мажоритарного элемента и первому настроечному входу логического преобразователя, особенность заключается в том, что первый, второй и третий информационные входы логического преобразователя соединены соответственно с первым, вторым входами второго и объединенными третьими входами второго, третьего мажоритарных элементов, четвертый информационный и первый, второй настроечные входы логического преобразователя подключены соответственно к третьему входу четвертого и первым входам первого, пятого мажоритарных элементов, а выходы второго, третьего, четвертого и пятого мажоритарных элементов соединены соответственно со вторыми входами четвертого, пятого, третьим входом пятого мажоритарных элементов и выходом логического преобразователя.
На чертеже представлена схема предлагаемого логического преобразователя.
1
5
1
2
1
2
2
3
1
3
4
i
4
i+2
5
4
<mrow><mrow><mo>(</mo><mrow><mi>i</mi><mo>=</mo><mover accent="true"><mrow><mn>1,3</mn></mrow><mo stretchy="true">¯</mo></mover></mrow><mo>)</mo></mrow></mrow>
Логический преобразователь содержит мажоритарные элементы 1, …, 1, причем объединенные второй вход элемента 1, первый вход элемента 1, объединенные третий вход элемента 1, второй вход элемента 1, объединенные третьи входы элементов 1, 1 и объединенные первые входы элементов 1, 1, 1 образуют соответственно первый, второй, третий информационные и первый настроечный входы логического преобразователя, а выходы элементов 1
и 1 соединены соответственно со вторым входом элемента 1 и третьим входом элемента 1, подключенного первым входом и выходом соответственно к второму настроечному входу и выходу логического преобразователя, четвертый информационный вход которого соединен с третьим входом элемента 1.
1
4
1
2
k
k1
k2
k3
1
2
1
3
1
2
3
5
<mrow><mrow><mo>(</mo><mrow><mi>k</mi><mo>=</mo><mover accent="true"><mrow><mn>1,5</mn></mrow><mo stretchy="true">¯</mo></mover></mrow><mo>)</mo></mrow></mrow>
a
a
a
a
a
a
a
a
a
a
Работа предлагаемого логического преобразователя осуществляется следующим образом. На его первый, …, четвертый информационные и первый, второй настроечные входы подаются соответственно двоичные сигналы x, …, x∈{0,1} и сигналы f, f∈{0,1} константной настройки. На выходе мажоритарного элемента 1
имеем Maj(, , )=kk∨kk, где k, k, k и ∨, • есть соответственно сигналы на его первом, втором, третьем входах и символы операций ИЛИ, И. Следовательно, сигнал на выходе элемента 1 определяется выражением
<mrow><mi>Z</mi><mo>=</mo><mrow><mo>(</mo><mrow><msub><mi>x</mi><mn>1</mn></msub><mover><mo>*</mo><mrow><msub><mi>f</mi><mn>1</mn></msub></mrow></mover><msub><mi>x</mi><mn>2</mn></msub><mover><mo>*</mo><mrow><msub><mi>f</mi><mn>1</mn></msub></mrow></mover><msub><mi>x</mi><mn>3</mn></msub></mrow><mo>)</mo></mrow><mover><mo>*</mo><mrow><msub><mi>f</mi><mn>2</mn></msub></mrow></mover><mrow><mo>(</mo><mrow><msub><mi>x</mi><mn>4</mn></msub><mover><mo>*</mo><mrow><msub><mi>f</mi><mn>1</mn></msub></mrow></mover><mrow><mo>(</mo><mrow><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub></mrow><mo>)</mo></mrow></mrow><mo>)</mo></mrow><mo>,</mo></mrow>
где
<mrow><mover><mo>*</mo><mrow><msub><mi>f</mi><mi>q</mi></msub></mrow></mover><mo>=</mo><mrow><mo>{</mo><mtable columnalign="left"><mtr><mtd><mo>∨</mo><mtext> </mtext><mtext> </mtext><mi>п</mi><mi>р</mi><mi>и</mi><mtext> </mtext><mtext> </mtext><msub><mi>f</mi><mi>q</mi></msub><mo>=</mo><mn>1</mn></mtd></mtr><mtr><mtd><mo>•</mo><mtext> </mtext><mtext> </mtext><mi>п</mi><mi>р</mi><mi>и</mi><mtext> </mtext><mtext> </mtext><msub><mi>f</mi><mi>q</mi></msub><mo>=</mo><mn>0</mn></mtd></mtr></mtable></mrow><mtext> </mtext><mtext> </mtext><mrow><mo>(</mo><mrow><mi>q</mi><mo>=</mo><mover accent="true"><mrow><mn>1,2</mn></mrow><mo stretchy="true">¯</mo></mover></mrow><mo>)</mo></mrow><mo>.</mo></mrow>
Таким образом, на выходе предлагаемого преобразователя получим
<mrow><mi>Z</mi><mo>=</mo><mrow><mo>{</mo><mtable columnalign="left"><mtr><mtd><msub><mi>x</mi><mn>1</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>4</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>=</mo><msub><mi>x</mi><mn>1</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>4</mn></msub><mtext> </mtext><mi>п</mi><mi>р</mi><mi>и</mi><mtext> </mtext><msub><mi>f</mi><mn>1</mn></msub><mo>=</mo><msub><mi>f</mi><mn>2</mn></msub><mo>=</mo><mn>1</mn></mtd></mtr><mtr><mtd><mrow><mo>(</mo><mrow><msub><mi>x</mi><mn>1</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>3</mn></msub></mrow><mo>)</mo></mrow><mrow><mo>(</mo><mrow><msub><mi>x</mi><mn>4</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub></mrow><mo>)</mo></mrow><mo>=</mo></mtd></mtr><mtr><mtd><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mtext> </mtext><mo>=</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>4</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>4</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>3</mn></msub><msub><mi>x</mi><mn>4</mn></msub><mtext> </mtext><mi>п</mi><mi>р</mi><mi>и</mi><mtext> </mtext><msub><mi>f</mi><mn>1</mn></msub><mo>=</mo><mn>1,</mn><mtext> </mtext><msub><mi>f</mi><mn>2</mn></msub><mo>=</mo><mn>0</mn></mtd></mtr><mtr><mtd><mtext> </mtext><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>4</mn></msub><mrow><mo>(</mo><mrow><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub></mrow><mo>)</mo></mrow><mo>=</mo></mtd></mtr><mtr><mtd><mtext>                  </mtext><mo>=</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>4</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>3</mn></msub><msub><mi>x</mi><mn>4</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub><msub><mi>x</mi><mn>4</mn></msub><mtext> </mtext><mi>п</mi><mi>р</mi><mi>и</mi><mtext> </mtext><msub><mi>f</mi><mn>1</mn></msub><mo>=</mo><mn>0,</mn><mtext> </mtext><msub><mi>f</mi><mn>2</mn></msub><mo>=</mo><mn>1</mn></mtd></mtr><mtr><mtd><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub><msub><mi>x</mi><mn>4</mn></msub><mrow><mo>(</mo><mrow><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>3</mn></msub><mo>∨</mo><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub></mrow><mo>)</mo></mrow><mo>=</mo><msub><mi>x</mi><mn>1</mn></msub><msub><mi>x</mi><mn>2</mn></msub><msub><mi>x</mi><mn>3</mn></msub><msub><mi>x</mi><mn>4</mn></msub><mtext> </mtext><mi>п</mi><mi>р</mi><mi>и</mi><mtext> </mtext><msub><mi>f</mi><mn>1</mn></msub><mo>=</mo><msub><mi>f</mi><mn>2</mn></msub><mo>=</mo><mn>0</mn></mtd></mtr></mtable></mrow></mrow>
1
1
2
3
4
2
1
2
1
3
1
4
2
3
2
4
3
4
3
1
2
3
1
2
4
1
3
4
2
3
4
4
1
2
3
4
1
2
3
4
Вышеизложенные сведения позволяют сделать вывод, что предлагаемый логический преобразователь с помощью константной настройки реализует любую из четырех простых симметричных булевых функций τ=x∨x∨x∨x, τ=xx∨xx∨xx∨xx∨xx∨xx, τ=xxx∨xxx∨xxx∨xxx, τ=xxxx, зависящих от четырех аргументов - входных двоичных сигналов x, x, x, x∈{0,1}, и обладает меньшими по сравнению с прототипом аппаратурными затратами, поскольку содержит на один мажоритарный элемент меньше, чем в аппаратурном составе прототипа.