Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій
Рассматривается проблема построения сокращенных дизъюнктивных нормальных форм порядково-выпуклых булевых функций. Предлагается оригинальный алгоритм нахождения этих форм. Aлгоритм использует такие понятия теории упорядоченных множеств как идеал и коидеал и имеет существенно меньшую временную сложнос...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2019 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2019
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/179390 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій / А.И. Тимошкин // Кибернетика и системный анализ. — 2019. — Т. 55, № 1. — С. 39-43. — Бібліогр.: 4 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862747393446903808 |
|---|---|
| author | Тимошкин, А.И. |
| author_facet | Тимошкин, А.И. |
| citation_txt | Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій / А.И. Тимошкин // Кибернетика и системный анализ. — 2019. — Т. 55, № 1. — С. 39-43. — Бібліогр.: 4 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Рассматривается проблема построения сокращенных дизъюнктивных нормальных форм порядково-выпуклых булевых функций. Предлагается оригинальный алгоритм нахождения этих форм. Aлгоритм использует такие понятия теории упорядоченных множеств как идеал и коидеал и имеет существенно меньшую временную сложность, чем классический алгоритм Квайна Мак-Класки.
Розглянуто проблему побудови скорочених диз'юнктивных нормальних форм порядково-опуклих булевих функцій. Запропоновано оригінальний алгоритм знаходження цих форм. Алгоритм використовує такі вирази теорії упорядкованих множин як ідеал і коідеал і має істотно меншу часову складність, ніж класичний алгоритм Квайна Мак-Класкі.
The problem of building the reduced disjunctive normal forms of order-convex Boolean functions is considered. An algorithm of finding the reduced disjunctive normal forms of order-convex Boolean functions is proposed. The algorithm uses notions of partial order theory such as ideal and coideal and has much less time complexity than classical Quine and McCluskey’s algorithm.
|
| first_indexed | 2025-12-07T20:51:11Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-179390 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1019-5262 |
| language | Russian |
| last_indexed | 2025-12-07T20:51:11Z |
| publishDate | 2019 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Тимошкин, А.И. 2021-05-04T18:02:34Z 2021-05-04T18:02:34Z 2019 Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій / А.И. Тимошкин // Кибернетика и системный анализ. — 2019. — Т. 55, № 1. — С. 39-43. — Бібліогр.: 4 назв. — рос. 1019-5262 https://nasplib.isofts.kiev.ua/handle/123456789/179390 519.714.7 Рассматривается проблема построения сокращенных дизъюнктивных нормальных форм порядково-выпуклых булевых функций. Предлагается оригинальный алгоритм нахождения этих форм. Aлгоритм использует такие понятия теории упорядоченных множеств как идеал и коидеал и имеет существенно меньшую временную сложность, чем классический алгоритм Квайна Мак-Класки. Розглянуто проблему побудови скорочених диз'юнктивных нормальних форм порядково-опуклих булевих функцій. Запропоновано оригінальний алгоритм знаходження цих форм. Алгоритм використовує такі вирази теорії упорядкованих множин як ідеал і коідеал і має істотно меншу часову складність, ніж класичний алгоритм Квайна Мак-Класкі. The problem of building the reduced disjunctive normal forms of order-convex Boolean functions is considered. An algorithm of finding the reduced disjunctive normal forms of order-convex Boolean functions is proposed. The algorithm uses notions of partial order theory such as ideal and coideal and has much less time complexity than classical Quine and McCluskey’s algorithm. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кібернетика Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій Про один алгоритм побудови скороченних ДНФ порядково-опуклих булевих функцій On an algorithm for constructing reduced DNF of order-prominent Boolean functions Article published earlier |
| spellingShingle | Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій Тимошкин, А.И. Кібернетика |
| title | Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| title_alt | Про один алгоритм побудови скороченних ДНФ порядково-опуклих булевих функцій On an algorithm for constructing reduced DNF of order-prominent Boolean functions |
| title_full | Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| title_fullStr | Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| title_full_unstemmed | Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| title_short | Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| title_sort | об одном алгоритме построения сокращенных днф порядково-выпуклых булевых функцій |
| topic | Кібернетика |
| topic_facet | Кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/179390 |
| work_keys_str_mv | AT timoškinai obodnomalgoritmepostroeniâsokraŝennyhdnfporâdkovovypuklyhbulevyhfunkcíi AT timoškinai proodinalgoritmpobudoviskoročennihdnfporâdkovoopuklihbulevihfunkcíi AT timoškinai onanalgorithmforconstructingreduceddnfoforderprominentbooleanfunctions |