Непереборный метод определения полярности выходов при минимизации многовыходных автоматов

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

Saved in:
Bibliographic Details
Published in:Технология и конструирование в электронной аппаратуре
Date:2003
Main Authors: Лузин, С.Ю., Полубасов, О.Б.
Format: Article
Language:Russian
Published: Інститут фізики напівпровідників імені В.Є. Лашкарьова НАН України 2003
Subjects:
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/70689
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Непереборный метод определения полярности выходов при минимизации многовыходных автоматов / С.Ю. Лузин, О.Б. Полубасов // Технология и конструирование в электронной аппаратуре. — 2003. — № 5. — С. 13-15. — Бібліогр.: 4 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
_version_ 1859694738460901376
author Лузин, С.Ю.
Полубасов, О.Б.
author_facet Лузин, С.Ю.
Полубасов, О.Б.
citation_txt Непереборный метод определения полярности выходов при минимизации многовыходных автоматов / С.Ю. Лузин, О.Б. Полубасов // Технология и конструирование в электронной аппаратуре. — 2003. — № 5. — С. 13-15. — Бібліогр.: 4 назв. — рос.
collection DSpace DC
container_title Технология и конструирование в электронной аппаратуре
description Предложен метод оценки и выбора одного из вариантов полярности выходов, обеспечивающего минимум суммарного числа термов при минимизации системы булевых функций.
first_indexed 2025-12-01T00:56:28Z
format Article
fulltext ��������� � ���� ���������� � ���� ������ ������ ���� ����� � � �� ���������� ������ ������� �� �� � ��� ������ � �������� � !�� ���� �! "������ ����������������� ��� #"$%&� �! "�����' ������������������������������ ������ ����� � (���� � �! )!*%� ��+���� ," -,�������. /*01234 35627�89:3!95 $;%;(;<"($=> ?;�"� "%(;�;@;$AB %"@B($")�A C=D"�"C %(A ?A$A?AE,FAA ?$"G"C=D"�$=D ,C�"?,�"C ��������������������� �!�����"��# "$ #��%� ��&! ����"�� ��&%'"�(�)%�)"�"$ )#&��%�� �*���%�� +%,��� �����������$ �#���,�����"��&�������")#&����� �#$ "#��� C ��� � H�� ���I ����� I� ���� ����J������ ��� �K� � �� � ��� +L� �L� I� ��L �� ��������* �� � ���� �K ���� �����K����� ��������� ����� M��* ���� ��� �� ��������� +��� +���� �MM�� ����� # ! �! +��� �����N� O I��OP�� J���� ��I�� ����� I���* I�K����'� J � �����K�I���� ��P���� �+��� K���J � �L+�� ��JP��� ������ �! �� I�����L����L� �� * ���� � ����J�� �� ������ �� �� � � ����K� ��O��� M������� J���� �L������ � ����I� � ���� ������ �� �� � � ��� � �J�� �����I��I! C ��+� � Q�R ������ I� �� I���I�K���� ��� �IL +����L� M������ ��� M������������ ��� ���� � �L�����! C ��� � H�� ��+� � ��K����� � ���� ��* +� L Q�R �� ������ � �L+��� ������ �K ������ �� ��� ���� �� �+����J����H��� I���I�I ��II����* �� J���� ��I�� ��� I���I�K���� ��� �IL +����L� M������! "+�K��J�I -�� -� ���I��N�� �� ���I�� �� .*I��* ���� +����� ���� ���� �� } ,...,{ 120 )( −= naaI n � �� �� �* �L� ������ O� ����������� +����� M����� /#0'∈ 1� 0ST2��!!!�2.U�V �I�� ��� �� � ����� ������� � ���* ��J��� K��J���� Q�� W! ��R! )�� �IL +����L� M���* ��� +���I K����� O � ���� I��N�� �� Ψ�ST#α3� β3'V #3S��!!!4' ��� � �+H�I ���J�� ���J�L� ��� ����! %��� #α3� β3' +���I ��KL�� O �+�+H���LI #�� I��* N�� �� M������' �� ������I! X�� O α3 �+�+H������ �� ������ ��K���I �������� � J�� O β3 Y �L������! C����� J�� O α 3 STα 3 .U��!!!� α3 �V �+�+H������ �� ��* ���� �� � � �� ������I � ���� ���� �� +����L� ��* ��I���L� 0ST2��!!!�2.U�V! CL����� J�� O β3 S STβ 3 5U��!!!� β 3 �V�+�+H������ �� ������ �� � � ���* �J�LI ��� ���I K��J���� M������ /��!!!� /6�!!!� /5U� �� �� ������ α 3 ! %�� � �I β 3 6S�� ���� -α3⊆ - 6 �Z β 3 6S�� ���� -α3⊆ - 6 �! E���J� ��� �� � ���������� ��������� I��N�* � �� �+�+H���L� �� ������� Ψ�� ����� ��� �H�� ��� �I� +����L� M������ 1� � ��� J��P�I� I��N�* � �� �+�+H���L� �� �������! �#'#&����� �(��"� C�� ��L β 6 � β 3 Y �L����L� J�� � �+�+H���L� ��* ������� Y +���I �������� O ����K� ���� J �+L ��* ����� O I�N�� ��I� ������H�� � ��P����4 ���� ,� , 1,0 k j k imk β≤−∈∀ � ji β⊂β ! "+�K��J�I J���K - 3 �+[�������� �� ������� α 6 � �� �� ��L� β 6 S3 # ! �! �L����L� J�� � �������� � �� J������� ��������� ����� 3'4 � j j i i II =β α= ! (�K�+O�I I��N�� �� �+�+H���L� �� ������� Ψ� �� �����L Y � 12 0 0 − = =Ψ m j jI � ���H�� ��I I���I�K���� �� ��N���� ������ - 3 � � ���O��� � Q�� \R! %�� �KI������ ��� ���� � M������ �KI�� � � ��O�� ��� ������� ��� � �I I��N�� �� ���I�� �� � ������� �� I�� � � ! )�� �� � ����� �� I�� � � � ������ J���� ����L���H�� ����L� ����� �� ����* ���! %������J��O��� ��� � � ���J�� � M���������* ��� ��� ���� O�� ���H�� ��I I���I�K���� ��N��* �� ������ � � ���O��� � � � ��J�� �� ���+�� ������ �� ��N���� ������ � ��� ���� � ��KOI�I ��II� ����J���L� ������ K� �LJ� �I ������ ������� �� �� ����� β 6 S� ��� �����I ������ � ��� ���� �! E�* �I �� ��N���� ������ ��������I ������ L ��� �* ��� �� ��� �� ��L� I�N�� ����K��� � ���P������ ��� ��K+���� �� ������� ������� ������ H�� � �I��OP���� ������ �� ������� ������� � �� ��� * �� � ���H�� ����J��� �I��OP�I ������ �� ���* ���� ������ � ��� ���� �! %� K����P���� �+��+� �� ���� ������� �L+���� � ������ ��� ���� �� �I��* H�� I���I��O��� ��K��O ����H�� ������! � �,�&��"� %��� ����� β 7 � β 8 +���I ��KL�� O �I�N�LI�� ����4 �! i k i lmi β≤β∈∀ ,} ...,,1{ ! �! $� ���� �K ����� �� ��� �� �K ����� �����! <���I ��KL�� O ������O�LI �����������I �I�N��� � ����������� � ���� � I��OP�I �����* ��I #����J�� ��I ������ � ����' � ���� � +��O* P�I �������I! %�� O IL �� �I �����OK��� O �� ���P����� �� ������ � ����I β 7 �� ����� � ����I β 8 ! ;��� ���L β 7 � β 8 �K��J��O�� �� ������O�L ) }, ...,,1{( i k i lmi β≠β∈∃ � � ������ ���+����I�� ������� �I�N��� � ��K����* ��������� � ���� ���������� � ���� ������ ������ ���� ����� � � �\ ���������� ������ ������� �� � ��O�� ��� ���I �KI������ ��� ���� �� ����� ���� �K ����� �������� � ��� �K ����� ������� � ������ Y � ��� �K ����� ������ ! �! �� ������ ��� � � ���* I� �������! %�� O ���L β 7 � β 8 �I�N�L� ���J�I β 7� �����N� I��OP� ������� J�I β 8 #β 6 ⊂β 8 '! %�� �KI������ ��* � ���� � ����������H�� ��K� ��� ����������� �I�N��� � I�� � � �� �+�� ��� #β 8 ⊂β 6 '! A � �I� � � �����I ���J�� � ��P���� �I�N��� � ������ � � ��� ���� ������ �� ��� ���� �� �� ��L� �KI�� � ��O�� ��������H�� ��K� �L � β 7 � β 8 ! %�� O ���L �� �� ������O�L � �� �I�N�L! CL��* ��I � ��� �� ������O�L� ������L β 79 � β 89 4     β=β β≠ββ=β i k i l i k i l i li l *, , * ! " ��P���� �I�N��� � I�N� ��K����� O ��O�� ��� ���I �KI������ ��� ���� �� ����� ���� �K � �� �������� � ����� � ����I� �����N�H�I ��O�� ����� � ������ Y ��O�� ������L! %�� � �I �������* �H�� ��K���� ����� I��� �����I� O ��+L� K��J�* �� � ���I� ���� �����! ����I �+��K�I� ���� � ����� �������� �8 ��K����� � J���� ��KI�N�L� ������* �� ��� ���� �� ������ H�� � � ���L � � ��P���� �I�N��� �� ����� �#�8U�'! $����I��� ��� O β7S �������� β8 S �������! ����� �� ������O�L� ������L +��� �I� O ��� β 79 S �����]]� β 89 S �����]]� � ��KI�N�L ^ ������ �� ��� ���� �� ��� �� ��L� ���L � ���� � �I�N�LI� Y #β 7 ⊂β 8 '4 β 7 S �������� β 8 S �������Z β 7 S �������� β 8 S �������Z β 7 S �������� β 8 S �������Z #β 8 ⊂β 7 '4 β 7 S �������� β 8 S �������Z β 7 S �������� β 8 S �������Z β 7 S �������� β 8 S �������! %�� O I��N�� �� �+�+H���L� �� ������� Ψ� ��K* +� � �� �����L Y � 12 0 0 − = =Ψ m j jI � ���H�� ����� I���I�K��� �� ��N���� ������ � � ���O��� �! �� ��N���� �K ������� - 3 ����J��� ������ θ 3 J���� ����L���H�� �� �������! %�� O ���H� ��� ���� O �L����L� �������� �J� �� � �������! C ��J�� �� ���+�� ������ Θ8 J��* �� ����L���H�� �� ������� �� ��� �IL M������ ��� ���� ���� ��� ���� � 8 ��KOI�I ��II� ����* J���L� ������ K� �LJ� �I ������ θ 8 4 k j j k m θ−θ=Θ ∑ − = 12 0 ! E� �I ����I� ��I ��KI�N��� O ���P����� ��* ������� ���� ����� ������ -3 K� �J� �����OK���* �� ��I�� �K ������ �������! �� � ���4 Y ��������I I���I��O�L� �� ������ ����J��* H�� ��� ��IL ������ -3Z Y �� ��N���� �K ��I��� ��������N�H�� ��* �������� -3 �� ���������� �� ������� �����I ������ � �� ��L� �� ����� #�� ���H�� ����� ���P���* �� �� ������� ������ -3 � �����OK������I ��I�� ���� ����� ������ -8 ���+����I� �L�������� ����* �� �I�N��� �4 β3⊂β 8'Z Y �� ��N���� �K �������L� ������� ��������I M������ �����K��J��� �4 β 38 Sβ 3 _β 8 !� ��� _�Y ����J����� ����� �� ��������� ��� �� ���* I�� �IL� ����K� ���! (�K��O � ����J����� �����* ��� ����� �� ���� �+� �������� �I�� ���������� K��J���� #��+� �+� ����L �� ��+� �+� ����L �'4     β=β β≠β =β i k i j i k i ji jk ,1 ,0 Z Y ���N����I �L������L� �����L � ��� ��� ���* ��J��� J���� ������ � ��� ��� β 38 Z Y ���H�� �� �I �������� ��KI�N��� � ���P�* ���� �� ������� ������ - 3 � �����OK������I ��* I�� �L������L� ������� � K������I ��� ���� ��� � �I� ����I� ���� ����� β 38 � �����OK��I �� ���* P����� �� ������� ������ - 3 ��N� ��IL ��+��� ������ - 7 � �� �� ����� ����������� β 38 ⊂β 37 ! C ���* J�� �I��OP��� ������ θ 3 ������ - 3 �I��OP��I �� ��� �� � ���H�� ����J��� ������ �� ������ � ��* � ���� � Θ5� ��� 5Sβ 3 ⊕β 38 ! � ")� ���� ��� �I� M������4 32323213213213211 xxxxxxxxxxxxxxxxf ∨=∨∨∨= Z 13213213213212 xxxxxxxxxxxxxf =∨∨∨= Z 32323213213213213 xxxxxxxxxxxxxxxxf ∨=∨∨∨= ���� � �����H����� K�����4 /�S∑�� �� ^� `Z /�S∑�� �� �� `Z /�S∑�� �� \� �! %���J�I �+�+H���L� �� �����L � ��K�+O�I �� �� �����L4 %���J�I ������ �� ��K��J�L� ������ �� ��� �* ��� � #������ ���H��� ������ � Y Θ�'4 Θ�S Z Θ�S^Z Θ�S Z Θ�S^Z Θ\S^Z Θ�S Z Θ^S^Z Θ`S ! $����I I���I��O�L� �� ������ ����J��H�� ��* IL ������ -�4 �∪ ^S^Z �∩^S�Z ⇒ T�� �� \� ^V! ��� ��� ��^ ��` ��� ��� ��� ��� ��� ��� ��\ ��� ��������� � ���� ���������� � ���� ������ ������ ���� ����� � � �� ���������� ������ ������� �� $���� ��H�� ��IL T�� \V ����� � � ������ -\! "�������I M������ �����K��J��� �4 β�U\Sβ� _ β\Sβ�! "����� θ� ������ -� �I��OP����O �� ������� #���� �� ����� �I�� � ����'� ��� �� � ������ �I��OP��I �� ������� ������ �� ������ � ��� ���� � Θ5� ��� 5Sβ�⊕β �S�4 Θ�4SΘ�U�S�! ���IL ������� -� � -\ �K��I������� �IL �� ��* ������ T�� �� \� ^V� ��� �I� M������ �����K��J���* � ���� �J�L! "����� θ\ ������ -\ �I��OP�� � �� ������� ��� �����OK������ ��I�� ������ -�! a � ��KI�N�� ��� ������ � ��� ���� � 5Sβ\⊕β �S^4 Θ^4SΘ^U�S�! ,������J��� ��� ����I� ����� ��KI�N��� � ���* P����� �� ������� ������� -� � -^ �� ������� �I��O* P�� � ������ �� ������ �� ��� ���� � θ� � θ\� ��* � �� � �����! ���O���P� ������ ������ ������ I�N� ���H�* � �� O� K� �J� �������� ��KI�N��� � -��K+����. �� ������� ��K��J�L� �������! ���IL� �I�N�L� � ��I�I� ������ -�� ����� � � ������� -� � -\ #T�� `V � T�� \V� ��� �� � �����'! �� �L������� ������� β�⊂β � � β\⊂β � ���+����* I�� J �+L� ��� I���I�I� β�Sβ�⊕β \! )�� �� � ���* H�� ������ ��� ���� � 5Sβ�⊕β �S^4 Θ^4SΘ^U�S�! b����L -�� -\ � -^ ��K+���� � ��� ������ �� ��* � ���� � \� � � �� ��� �� � �����! ����I �+��K�I� �� J� L��� ������ �� ��� �* ��� � �K ���OI� ������ ΘS�! C J�� ��� �� �� ������ � ��� ���� � ̂ #����� �* ��� � K��J���� � ���� � �� O�� M������' ��K+��* ��� �+�+H���L� �� ������� �� �����L �I�� ���4 ?���M���������� ��� �I� M������4 32323213213213211 xxxxxxxxxxxxxxxxf ∨=∨∨∨= Z 13213213213212 xxxxxxxxxxxxxf =∨∨∨= Z 32323213213213213 xxxxxxxxxxxxxxxxf ∨=∨∨∨= ���� � �����H����� K�����4 /�S∑ �� �� ^� `Z / : �S∑ �� �� \� ^Z / : �S∑ �� �� ^� `! C����� J � I���M���������� ��� �I� M������ �����OK�� ��O�� �� ��K��J�L� ��I�! ]]] )����� � I� � O� J � ��� ��K�����I�� -��K+��* ��. ������ �� �+ K� ��O�� +��� �J���� ���J�I ��K* I�N�� �����P��� O ����J� � ��� � +��OP��� �� � � I��OP�� � ����L! ��I �� I����� � �L����� � ���* �O� ���� ��� � ������ � ��� ���� �� ����J��P�* I� I���I��O��� ������� +��� ��� �� � ���� O ���* � �� ��O�� �� �I��O�L� ������ ! A)%"@cE"C,$$=; A)�"X$AbA �! G���� ,! C!� @�K�� )! d! aMM�� ���L� ������ I ��� �K� I�����L����L� ��I+��������L� �� �I� �� ee ��������� � ���� ���������� � ���� ������ ������ ���!Y �fff!Y � �!Y )! �fY\�! �! ,J����� )! ?! ,����� IL ��� �K� �� �I� �� �� ������I* I����IL� I� �����!Y ?!4 (���� � �� KO� �f `! �! @�K�� )! d! ,��I� � �J���� �� �I��O�L� I� �� ����J�* �� ���� L� �I������ ee ,� �I� ��� � �LJ! ������!Y ����!Y CL�! �!Y )! �Y \! \! @�K�� )! d! ?���I�K��� +����L� M������ � �����OK���* ���I ���� �� �������� ee ,� �I� ��� � �LJ! ������!Y ����!Y CL�! �!Y )! �^Y^�! ��� ��� ��� ��\ ��` ��^ ��� ��� ��� ��� ��� ��� ��������� � � � � � � �� � � � � �������� � ��� ������������������ � ����������������� ����������������� �� ��� ����� �� �!�"#$%�&''& ��(')�! �������� � ���� ������ ��� � � ���������������� �������������� ���� ������������� � ������� ��������� �������� ��� ������� ������� ��� ������������� ���� ����� �� �� ��������� ����� � ����������� ��������� ������� ���������� �������! "�� �������� �������� ��� ��������������������������� ����������� ���� ��!�#��� ��� ��������������� ���� �����$�����������! ������������ �������� ��� ���� ������������ ��� ������������������� � ����������� ������������������ ������������� � ���%&���������� �������� ���������' ��� ����� �������������� ��! ���������� � ��� ������ ���� � ������� � ��� ��� ����� ������������� !! �� "�� (�% �����&����������������� ������������� �������� ����������������������������� ��� ����% �������� ������������� ������� ����������� �������� � ������������� ����� ��������������� ��� ���������������������� ������������ ��!�) ���% ����������� ���������� �������������� ������� ��������*�� ������ %������������� ������������ ���������������� ��� ������� �������� ��������������� �������� �������������������� �����������&����!�#����� ����% ��� �������� ��� �������� �� �������������������� $�%&�������� �������� ������������� �! ( ��� ���� ����� ���������%&�������������� ���%�+#���� ������+!
id nasplib_isofts_kiev_ua-123456789-70689
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn 2225-5818
language Russian
last_indexed 2025-12-01T00:56:28Z
publishDate 2003
publisher Інститут фізики напівпровідників імені В.Є. Лашкарьова НАН України
record_format dspace
spelling Лузин, С.Ю.
Полубасов, О.Б.
2014-11-11T06:29:56Z
2014-11-11T06:29:56Z
2003
Непереборный метод определения полярности выходов при минимизации многовыходных автоматов / С.Ю. Лузин, О.Б. Полубасов // Технология и конструирование в электронной аппаратуре. — 2003. — № 5. — С. 13-15. — Бібліогр.: 4 назв. — рос.
2225-5818
https://nasplib.isofts.kiev.ua/handle/123456789/70689
621.3.049
Предложен метод оценки и выбора одного из вариантов полярности выходов, обеспечивающего минимум суммарного числа термов при минимизации системы булевых функций.
ru
Інститут фізики напівпровідників імені В.Є. Лашкарьова НАН України
Технология и конструирование в электронной аппаратуре
Проектирование. Конструирование
Непереборный метод определения полярности выходов при минимизации многовыходных автоматов
Article
published earlier
spellingShingle Непереборный метод определения полярности выходов при минимизации многовыходных автоматов
Лузин, С.Ю.
Полубасов, О.Б.
Проектирование. Конструирование
title Непереборный метод определения полярности выходов при минимизации многовыходных автоматов
title_full Непереборный метод определения полярности выходов при минимизации многовыходных автоматов
title_fullStr Непереборный метод определения полярности выходов при минимизации многовыходных автоматов
title_full_unstemmed Непереборный метод определения полярности выходов при минимизации многовыходных автоматов
title_short Непереборный метод определения полярности выходов при минимизации многовыходных автоматов
title_sort непереборный метод определения полярности выходов при минимизации многовыходных автоматов
topic Проектирование. Конструирование
topic_facet Проектирование. Конструирование
url https://nasplib.isofts.kiev.ua/handle/123456789/70689
work_keys_str_mv AT luzinsû neperebornyimetodopredeleniâpolârnostivyhodovpriminimizaciimnogovyhodnyhavtomatov
AT polubasovob neperebornyimetodopredeleniâpolârnostivyhodovpriminimizaciimnogovyhodnyhavtomatov