Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій
Рассматривается проблема построения сокращенных дизъюнктивных нормальных форм порядково-выпуклых булевых функций. Предлагается оригинальный алгоритм нахождения этих форм. Aлгоритм использует такие понятия теории упорядоченных множеств как идеал и коидеал и имеет существенно меньшую временную сложнос...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2019 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2019
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/179390 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій / А.И. Тимошкин // Кибернетика и системный анализ. — 2019. — Т. 55, № 1. — С. 39-43. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-179390 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| spellingShingle |
Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій Тимошкин, А.И. Кібернетика |
| title_short |
Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| title_full |
Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| title_fullStr |
Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| title_full_unstemmed |
Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій |
| title_sort |
об одном алгоритме построения сокращенных днф порядково-выпуклых булевых функцій |
| author |
Тимошкин, А.И. |
| author_facet |
Тимошкин, А.И. |
| topic |
Кібернетика |
| topic_facet |
Кібернетика |
| publishDate |
2019 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Про один алгоритм побудови скороченних ДНФ порядково-опуклих булевих функцій On an algorithm for constructing reduced DNF of order-prominent Boolean functions |
| 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.
|
| issn |
1019-5262 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/179390 |
| citation_txt |
Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій / А.И. Тимошкин // Кибернетика и системный анализ. — 2019. — Т. 55, № 1. — С. 39-43. — Бібліогр.: 4 назв. — рос. |
| work_keys_str_mv |
AT timoškinai obodnomalgoritmepostroeniâsokraŝennyhdnfporâdkovovypuklyhbulevyhfunkcíi AT timoškinai proodinalgoritmpobudoviskoročennihdnfporâdkovoopuklihbulevihfunkcíi AT timoškinai onanalgorithmforconstructingreduceddnfoforderprominentbooleanfunctions |
| first_indexed |
2025-12-07T20:51:11Z |
| last_indexed |
2025-12-07T20:51:11Z |
| _version_ |
1850884144426385408 |