Экономичный метод приближенной минимизации ДНФ булевых функций

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

Збережено в:
Бібліографічні деталі
Опубліковано в: :Технология и конструирование в электронной аппаратуре
Дата:2004
Автори: Лузин, С.Ю., Полубасов, О.Б.
Формат: Стаття
Мова:Російська
Опубліковано: Інститут фізики напівпровідників імені В.Є. Лашкарьова НАН України 2004
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/53704
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Экономичный метод приближенной минимизации ДНФ булевых функций / С.Ю. Лузин, О.Б. Полубасов // Технология и конструирование в электронной аппаратуре. — 2004. — № 1. — С. 14-16. — Бібліогр.: 5 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
_version_ 1859613801526067200
author Лузин, С.Ю.
Полубасов, О.Б.
author_facet Лузин, С.Ю.
Полубасов, О.Б.
citation_txt Экономичный метод приближенной минимизации ДНФ булевых функций / С.Ю. Лузин, О.Б. Полубасов // Технология и конструирование в электронной аппаратуре. — 2004. — № 1. — С. 14-16. — Бібліогр.: 5 назв. — рос.
collection DSpace DC
container_title Технология и конструирование в электронной аппаратуре
description Результаты, полученные с помощью предложенного метода, более точны, чем решения, полученные с помощью других эвристик.
first_indexed 2025-11-28T16:54:07Z
format Article
fulltext ��������� � ���� ���������� � ���� ������ ������ ���� ����� � � �� ���������� ������ ������� �� �� � ��� ������ � �������� �� �! ���! � "������ ����������������� ��� #"$%&� � "�����' ������������������������������ ������ ����� � (���� � � )��� *%� ��+���� ," -,�������- .*/0123 24516�7892 84 :;"$"<=>$?@ <A�"� %(=BC=DA$$"@ <=$=<=E,F== �$G B&CAH?I G&$;F=@ ������������ ���� ������ !� ��"�#�$ �%�&��'����(��"���&��� )������� ��� �"� %�*��+,�� ���� ������ !� ��"�#�$ &%�(+-� ./%+!�+�� ; ��� � J�K� ���K��� ���+�������� L��M� ��N* ��� ����M�� �� ��+� � ���� J���O� ���+��K�K K�* ��K�L���� +����O� P������ "����� ���� ��� ���* �� ������� )B=) � ��� � ��O� ��� � ����� �� ��* ����� ��+�� ������ ���O�� +���� �PP�� ���O� K������ � ������ K�� B���� ���� ���+�� L��M���� ����+�� �� ���+��K� ������ � ����� �� �K��N���* � ����M��KO� ��Q����� ������N�� ��� �����K��* �O� ��LK����� � L���M �����NL������ ����+���O� ������ K�� ����LK�R��� � ����� �M����� K��� ��* �� N L��M� ��N��� �����Q��� N "+OM�� ��� �����NL������ ����� �M����� ����* �� K�� � ���� ��N�� �����Q��� N ��Q��� #� ��* Q���� K�J��� � ���������� ���� ��OK ������ K�K L��M��� � K�J��� � �� �K�K�' �� � � P������� ��LK����� � L���M� %�� �K� ��� �����NL������ ��* ��� �� �� ��Q��� L���M +��NQ�� ��LK����� � �� �* � ������� ��N�O� ������ � ����M��� � ������� � �� �K�K� B��NQ��� �� ����� �� �����NL�� ���� �����* �����J�� �� ������� S�T� ������ ���K�� � ��L��M* �O� ���KO ������ ���� � ��+� �� S�� !T �����NL�� * � ����� � ���+���� ����� ���J�� �� � � ���Q���* ��� ���� ����� ��K� �� ����M��� K����K��N���� �� ������ ������� �����K�� S�T� �����NL�� ����� � Q������ ���J�� �� ��������N��� ���Q������ ��* ������� ���K �+��L�K� M �+O ����O N �������� K��R�� �� K���K��N�OK M����K �����������J��* � �� ������� %���� � Q����� ��J�� ����� �����* M���� ��K+��� ����� ���R��� N� ������ � ������K ��L��� � ����M� N +���� �M�O� ��Q��� )�J�� ����OK ����� � ��K +��NQ��� �� ������ * K�� K���K�L���� +����O� P������� � M � ���+��* R���O�� �� � � ���+����K�� N ��������� ������* �� ��K��� M � ������M���� +O� ������ ��� � ����U �� � ���OQ���O� ��+����� � ���+����K�* K� �+U�K� ��K � ����K �+��L�K� �� ���OQ��� �PP�� ����� � ��* Q��� L���M ����N�O� ��LK����� �� ���+����K� ��L��* +� �� ���O� ��������� �+�����J�� K���K��N��� ��K* +��� ����� ���R��� N� � ��� � �K ����� ����J�� ����M���� �� �K��N���� ��� +��L���� � ��K� ��Q��� H ��+� � SVT ������ K� �� ����L� ����� �O��J�* ���� � ���J�� �� �J�� ��������N��� �O��J������ ���� O� �K������ +�L ��������� �������� ;�� ����L��� � SVT� K� �� �� � � ���K� � �M���� �� �* K��N�OK � �KO��� +O� ������ �� H ��� � J�� ��* +� � ��R� �����NL�� � ����L� ���� �O��J������ ���� O� �K������ � �� �� ���� ��LK�R�O�� � ��N�� �+��L��J�� ��� M��Q�� #��� +��L��� � ��K�' ��* ��O �� ������O� �K������ ��������������� %�� N K���K�L����K� P����� ����� ������ � ���� �����Q����� ���K��N��� ��LU��� ����� P��* KO #)�$G' ;�R��� ���K�� ����� ���U������ ��* � ����� � ��� �� � ��� �� ���� ����M�O� ��� ��� * �M�O� $����K��� ���U������ 0�0� 0̄!0� ��� �� � ��* � ����M�O� ��� ����� ��� ��� �M�O� �� #E���N � � ���N���Q�K K��NQ�K� ��K��� ����K����� ��� �� * � ��� K��NQ�� ��L� � ����M���� ����� � � ����� ����K���O� L����O��� � ����� ������� ' H�� ���O ���R������O � ��� ��� ��L��� ��� " K� �K� M � � ��+�K �L K��� ��K�� ���� ��� ����K���� K�R� �����K� N ���� �L ��� L��M����3 � �� � ���� N #W'� ����� � ���� N #�'� ����� � ��* �� N �� L����K � ������ #�' (���K� ���� ��N�� �������� ��KO� K�R�� �� ����� N L��M���� ������ ����K����� � �K������ �� � � ���� N � � L��M���� � ��K�� �K������ � ����L�� ���� ��������� : � �+� � ��N� �� �����NL������N � S�T �� ��* ���� K��R�� �� ���� O� �K������ K� ���K -����L* � ����� �O��J����� - %�� � �K K��R�� �� �K���* ��� �������N �� �����O � ��������O� ���M�K -�O* ��J���� - ������ ��K+����� �����NL������N ��� ��� ������� ��R�O� �L �� ��O� �����R�� �� � �� ����� �K������ H ���������K�K K� ��� ����K ����* �� +��� �� N� �� � �� ���� �K������ � � � ��R* ��K �L ������� +��� �O��J���O� �����O� ��K+�* ������ �K��J�� �+J�� �� � �� ����K �+��L�K� �� ��+�K � ���� ���K� ������� � ����������� ��R�� �L �K������ ����� ���L�� * � ����� ��� ����3 ����M�OK ��� ���K β1�#��� ��� ��� �M�OK ��������� �K'� �� �J�K� �+J�K ��* � ��K �K������ 1*�� ������� � ���M�OK ��� �* ��K α 2��1 #�O��J����� ��K+�������' )�� �� � ���* ��� �� �����K � ��� �K�� � ��N�� K��R�� �� ���* �M�O� ��� ���� β 1 � � �� ��������K W ��N�� K��* R�� �� ���M�O� ��� ���� α 2��1 ��������� � ���� ���������� � ���� ������ ������ ���� ����� � � �V ���������� ������ ������� �� %��������J��� ��KO �+��L�� � ��� ���Q�* ����� �� �������� �K��J�� �K�R�O� �� � �� ���� �K������ O� �� ����������J�� �O��J���O� ���O� � ���M�� �����J��� ������ �L �O��J���O� ����� �����K %�� � �K K�J��� N ������M��� ���O ���* ��K�J�O� �� ������� ����� �������� K�J��� � ��* ������ H ���M�� �� ������� ��L��M��� K�J��� � K�J��� N ������M��� +��� ����� �������� K�J��* � � K��NQ��� �� ������ %���� ��� N �� �����O� �O���+���� ��� � �K ��* ����M��� � K�R��� ���� � �K�R�O� ������� �K�� * � ���������J��� ��KO "����� � � ������� �� * � � ��N�� ���+����KOK %�� N �K��K α 2��1 ��K �L ������ β 1 � α 3��1X� ��K �L ������ β 1X�� ��� � �K �����O β 1 � β 1X� �K�R�O� � |α 2�� 1∩α 3�� 1X�YZYα 2�� 1[�YZYα 3�� 1X�[�Y ���KO α 2�� 1 � α 3�� 1X� �������� � � �O���+�R��* ���K ������M����� ���� � k jkjljiji ,1,,, )(\ α⊂α∩αα + � .)(\ 1,1,,1, � k jkjljijl +++ α⊂α∩αα H � �K ���M�� �K�� � ���� �� ������� (�)α42�1 � (1)α43�1X� ����M�� � ���� �� ����� (\)α 42�1� ��� α42�1Zα42�1∩α 43�1X� " K� �K� M � ����� ���O �� ������� �� ����+���� ��������� ���+����K� ���J�� �� N � ���M�� ����LK�R��� � ���Q����� �� �� �����K Q��� H������� ��������O ��������� ������N�� ���R�� +O� ������ ��� ������ K�� ������ ��J�� ����� ��* �OQ�� �M��� N ��Q��� %�� � �K ��������� ��* �� �����N�O� ����� ��� ������N�� ���J�� �� � � �������� ��������� ��N�� ��K�� �K�R�O� ����* ��� ;��K� ���� ��� � ���� �����M���� K�J��� � ������� �������R��� � �K��NQ����K ��KK������ ����M�� �� ��K�� �� ���R��� L� �� � �� L���O� � ������K ��� ��K�� �� ��������� ���������� ������ ������* �� ��N�� � ��� ����� N ��KO � ������� � ��� ��� ��L��� ��� ����� �K������ � � �� ��������O� ��* ��� �K������ W �� ����K ��L��� � %�K�K� ���* R��� ��K+��� ����� ���R��� �� � � K�R� ���O* �� N � �M��� N ��Q��� � ������N�� ���OQ�� � ��* �� ��� N ���� M � ��������O� ��KO � ��L��M�O� ������� +��� ����� ����� N� ��������� #���� �M* ��' <����K�L��� ����M�� �� ��������O� �� � ��� ����� �K������ W L���� �� ��������� �� ��* ������J�� � ���� � K���K�L���� �+J��� M���� �K* ������ �%+"�%5 6ZΣ �� �� !� �� V� ]� ̂ � �� _� ��� ��� ��� �!� �� � � � ! � V ] ^ → → � � � ! � � → → → %�����N�� \ \�`#\ \�∩�\ \'Z�\�⊂ �\ \ � �\ \`#\ \�∩�\ \'Z�\� ⊂ \ \ �� � � � → → H � ��M�� � S�T� +���K ������� N �K�R��� N �� ���O ��K��� � ���O ������� ��� ������ β1 � β1X� �K�R�O� ���� β1 W M� ��� � β1X�\β1Z� #���� L� M� * �OK ������K ������ ��M� �O� ����� � �� � ��K ����� +��NQ�K �� �������' <� �� L����M�� � � �������� ������ �K�R���* � �� �������� ������� � ����������������� ��K* ����� ��� ���� %�� � �K �� ��R��K Q��� �+���� * � K���Q�� ��L� � �L ���� �� � �� � ��+��� � � � � ��Q�� ��L� � �O��J������ ���M���� ���� E�K�* �K� M � �� ��+�K �L � ���� ��KK����� M���� ��K* ����� ��� ���� �� �����M���� � "��Q�K ������� ���������������� ��K����� ��� ���� � A��� β1 M� �� � β1X�\β1Z[ � #L� M� �OK ������K �� ������ ��M� �O� � �� � ��K ����� +��NQ�K �� �������'� � K���Q�� ��L� � �L β1 �������� � � ��* Q�� ��L� � ���� �O��J���O� �����O� ��K+������ #α2�� 1' ������ β13 ki ,1∈∀ � ,)0(: ,, jiji α=α′ 2/: jj β=β′ � A��� β1 ��M� �� � β1\β1\�Z[ � #����� ��M� �OK ����* ��K �� M� ���� ������� K��NQ��� �� �������'� � ki ,1∈∀ � ,)1(: ,, jiji α=α′ .2/)1(: −β=β′ jj ! A��� β1 M� �� � β1X�\β1Z� #���� L� M� �OK ����* ��K ������ ��M� �O� � �� � ��K ����� +��NQ�K �� �������'� � �+��L�� � ������ �� � �� ���� �� ���* �� ����M�� � �������K �� � �� � �� ���� M� ���� ������3 β4 1 3Z#β 1 \�'[� H � � ����� ������� ��� �O* ��J���O� �����O� ��K+������ �+��� #M� ���� � ��* M� ����' �������� ���M�K W ���� � �K�R�O� ������� +O�� ���� ��������O� �O��J���O� �����O� ��K+������ #α2�17α8�1X�'� � � ����K ������ #β41' ��� ����� �����O �� R� ��K+�* ������ � ��+�������K M�� �M�� � � ��Q�� ��L� �3 α 42�1Z#\'α 2�1a W ���� ���� ��� �O��J���� ������ ��K+����� �����J�� � �O��J����� ������� ��K+������� �L �K�R���� ������ #α 2�1`α8�1X�7α2�1 ��� α2�1X�`α8�1Zα2�1X�'� � � ���O� ����� L����� � �����J��K� ������ ��K* +����� � ��+�������K M�� �M�� � � ��Q�� ��L� � #��* � �� � ����� α42�1Z #\'α2�1 ��� α42�1Z#\'α2�1\�' $������J��KO� �����O� ��K+������ ������� �L ������� β 1 � β 1X� � ���O� ����� β41 � ��+�������K � � ��Q�� ��L� �� ��� �� � ������ � ��� �3 α4 2� 13Z#�'α 2� 1�� α4 2� 13Z#�'α 2� 1' �%+"�%5 6ZΣ �� !� �� V� ]� ^ � � � ! � � �� !� �� V� ]� ^ → → \ \ → → \� ��� \��� �\ \ �%+"� ��+���H ��K�� W �O��J���O� �����O� ��K+������ #α 2� 1'� ��� ��K��K� W �+J�� �� ��K�� ������ �� � �� ����� �K������ #β 1 ' ������������ ���� %��������O� ������ � ��M�� � �O����K +O� * ������ ���K � ��+�� K���K��N���� �+U�K� ��K �� ������ ����M����� ��Q���� K�R� L��M� ��N�� � * ��M� N� � �� �K��N���� ��M��� N ��Q��� K�R�� ���O�� N L� �M� ����� ����� ��K�� � ���N� �O�* ��+�R���� �L��K�O� ������M���� � \ \ \ \\ \ \ �\� \� \ \ \ \ � \� \ � �\ \� \ � \� \ \��\ \� \�\� \ \� �\�� \ � \� \ \�� \�� \�\� �\ \ � � \ \ ��� �� ��������� � ���� ���������� � ���� ������ ������ ���� ����� � � �] ���������� ������ ������� �� %�����N�� \�\`#\�\ ∩ \ \�'Z\��⊂ #�\�∪ �\ \' � \ \�`#\�\ ∩ \ \�'Z \ �� ⊂ \ �\� � � � → �\�� \��� �\ \ � \�� \��� \ � \ → \ �\�� \ \��� ��\ \��\�\ !�����"�����#$�����%�"����������&���� ����'��(�)������) H ���M�� ���� ����� ���� �M����� K��R�� �� P��* ���� �����R� ���Q��K K���� ���K�� ��� L��� N �� � ���� �����Q����� �$G ���� �M���� ���R��� � ������ ��R� ����LK�R�� H �� L� � � �K ����K����O� �� �* ��� ����� ��� � K� ��O� ��L��� �J�� K���K�L���* �� N �����J����� �$G +�L �������� ��N���� ����M�* �� �����Q����� �$G � ���� ���� O� �K������ %�� N P����� L����� ��+���K ���M�O� ��� ���� H����K �������� ���J������ ��K�� �� ���� ���� ����K�����3 � ��R��K �L ���M�O� ��� ���� �����K ��K����� �� ��� �� � ���J�� ���� ���� ����K������ � ��L�+N�K K��R�� �� �� ��� ������ H ����O� ����� ������ ��KO �� L��M����K ����J�� ����K����� -�-� �� � ���� W �� L��M����K -�- ���KO �� L��M����K ����K����� -\- ������ � �+� ������ ��9 ��:; #���������O�' %�� ��� N K��R�� �� ���� O� �K������ b � %���M� N K��R�� �� �����O� �K������ � " +���� N �����J��KO� �K������ O ! A��� �� ����N K��NQ� ���� �K������ Zc "�HA� =��M� b � HO+�� N ����J�� ����K����� #�K ���K�M����' � (��J��� N K��R�� �� �����O� �K������ �� ����J�� ����K����� �� �����O -�- � -�- # ��KO � -\- ������ � �+� ������' ! %�� ��� N K��R�� �� ���� O� �K������ �� ������ -�- � %�� ��� N K��R�� �� ���� O� �K������ �� ������ -�- V )�� N ��� ������ � ���� #�����NL� ���������� � �O���+�R�����' Zc"�HA� d d �%+"� ��+���H ��M�� �� ����J�� �������+��L�� �O+��� N ����K����� � K��NQ�K M����K -\-a ��� ���������K M���� -\- ������ �O+�� N ����K����� � +���� �����K���OK ����������* ���K -�- � -�- %�� � �K � ��L�O� �� � � �O+�� ����J�� ����* K���O� K�R� +O N ����������OK �%+"�%5�%�� N 6Z 0̄� 0̄�∨ 0̄� 0̄!∨ 0̄� 0̄�∨ 0̄� 0̄�∨ 0̄! 0̄� $�+�� ��� �� � ���J�� ���M�O� ��� ����3 � \ \ �� \ �� \� \ \��� � \�\� �� \ \ H ��M�� �� ����J�� �O+����K ����K����� 0�� ���J�� �� �K ���J������� � ���� �K �����J��* KO� ��KO3 � � %�����N�� �\ \`#�\ \∩�\�'Z� \�⊂ \ \�� � � → � \ \ �� \ �� \� \ \�� *���+'���� "������O� � ��+� � K� �� �� ����� ���� ����* M��� ��� M��Q�� �$G ��K �� K����� +������� ��* � �K� �M����� ��������� M�� �M���� ��Q��� � ��L��N* � O� ����M���O� � ��K�JN� ������� K� ���� +���� �M�O� M�K ��Q��� � ����M���O� � ��K�JN� ������ ����� �� ���� �����K��� ��������� � K� ���K�� ��* ���L�����OK� � ���� � efg2 P��KO h0i0 j[k� �����* K��� ��������� M � ����K�J�� �� � �M��� � ���* LO��� � �R� �� ���� O� ���K���� %������� +O� ������ �� ������KK�O� ����� � ���J�� �� ���N �� �������N�� �������������O� �* � ��O� ���K����� ��� �� ��O� ����� ��� � ��+�� P������ ���� 6Z0�∨ 0�∨…∨ 0 < $� ����+�O� ���K���� ����� ��� ������� � �M* ��� N ��Q��� � � �� �K��N�O� ��L��N � L������ �L��� �� #%�� ��+������� ��K��� �� �����R�J�� ��K� ̄0�l 0̄�l…l 0̄<� ��L��N � �� �K�L���� 64Z6� � ���* ����K ���M�� 64Z� ' %���� ������� ��&���� ��L��� � ���� N � +O�* ������ ��� ������ K� � ��� ������KK��� �����L�* ��� )�������� � �����K� ������KK�K� L� �����* ��N��� ������N�� �L��� �O� ��� �KO �K�� ��J�* � ����O� ������M��� �� M���� ��L�����KO� ����* K���O� #������ �� ���� ��' " K� �K� M �� � � ��M�� � �L��� �O� ��������� ����O� K� �� ��L��� � ������������ N ������� K���K�L���� P������� M � ��L��� � ��L���� N �P* P�� ���O� �����L���� K� ��� �� K�������������* �O� ��� �K =)%"CmE"H,$$?A =)�">$=;= � E��������� , � C���M����� ��� �L �������O� ���K W < 3 $����� �_�� � nop6g q r � s9g t u � vw x166gp� t99wo y z e 6g{ igwo61|4g }98 }0~i /161/150i196 9} ~{1iwo16� }46wi196~ [[ j... q806~ �9/�4i W �_^^ W r92 �*�] W t ^V^W^]� ! tg8�16~ uo n � nop6g q r e6 02�981io/ }98 1�g6i1}p16� 06� ~g2gwi16� iog �81/g 1/�21w06i~ 9} /42i1�2g*94i�4i f992g06 }46wi196 [[ j... q806~ �9/�4i W e1� hg~ j6ig�8 �18w41i 06� up~i W �_�� W r92 ^� s �� W t ���VW���� � �96� u � � �016 n � � k~i0��9 h � vjsj3 e og481~i1w 0��890wo }98 29�1w /161/150i196 [[ j�v � ng~ hg� W ug�i �_^� W r92 �� W t ��!W�V� V C�L�� ) � ,��K� � �M���� �� �K��N�O� K� �� ����M�* �� ���� O� �K������ [[ ,� �K� ��� � �OM ������ W ���� W HO� � W ) ��W�� �������� � ����� �� ������ ����� �������� 100 100 3 150 150 6 200 200 14 250 250 27 300 300 46 350 350 71 400 400 106 450 450 152 500 500 225 � \ �� �� \� \ \�� � \ \� \ �� �� \� \ � \ � \ �� \ � \ � \ �� \ \�
id nasplib_isofts_kiev_ua-123456789-53704
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn 2225-5818
language Russian
last_indexed 2025-11-28T16:54:07Z
publishDate 2004
publisher Інститут фізики напівпровідників імені В.Є. Лашкарьова НАН України
record_format dspace
spelling Лузин, С.Ю.
Полубасов, О.Б.
2014-01-26T18:33:35Z
2014-01-26T18:33:35Z
2004
Экономичный метод приближенной минимизации ДНФ булевых функций / С.Ю. Лузин, О.Б. Полубасов // Технология и конструирование в электронной аппаратуре. — 2004. — № 1. — С. 14-16. — Бібліогр.: 5 назв. — рос.
2225-5818
https://nasplib.isofts.kiev.ua/handle/123456789/53704
Результаты, полученные с помощью предложенного метода, более точны, чем решения, полученные с помощью других эвристик.
ru
Інститут фізики напівпровідників імені В.Є. Лашкарьова НАН України
Технология и конструирование в электронной аппаратуре
Проектирование. Конструирование
Экономичный метод приближенной минимизации ДНФ булевых функций
Економічний метод приблизної мінімізації ДНФ булевих функцій
Efficient method of approximate DNF boolean functions minimization
Article
published earlier
spellingShingle Экономичный метод приближенной минимизации ДНФ булевых функций
Лузин, С.Ю.
Полубасов, О.Б.
Проектирование. Конструирование
title Экономичный метод приближенной минимизации ДНФ булевых функций
title_alt Економічний метод приблизної мінімізації ДНФ булевих функцій
Efficient method of approximate DNF boolean functions minimization
title_full Экономичный метод приближенной минимизации ДНФ булевых функций
title_fullStr Экономичный метод приближенной минимизации ДНФ булевых функций
title_full_unstemmed Экономичный метод приближенной минимизации ДНФ булевых функций
title_short Экономичный метод приближенной минимизации ДНФ булевых функций
title_sort экономичный метод приближенной минимизации днф булевых функций
topic Проектирование. Конструирование
topic_facet Проектирование. Конструирование
url https://nasplib.isofts.kiev.ua/handle/123456789/53704
work_keys_str_mv AT luzinsû ékonomičnyimetodpribližennoiminimizaciidnfbulevyhfunkcii
AT polubasovob ékonomičnyimetodpribližennoiminimizaciidnfbulevyhfunkcii
AT luzinsû ekonomíčniimetodpribliznoímínímízacíídnfbulevihfunkcíi
AT polubasovob ekonomíčniimetodpribliznoímínímízacíídnfbulevihfunkcíi
AT luzinsû efficientmethodofapproximatednfbooleanfunctionsminimization
AT polubasovob efficientmethodofapproximatednfbooleanfunctionsminimization