Об одном алгоритме построения сокращенных ДНФ порядково-выпуклых булевых функцій

Рассматривается проблема построения сокращенных дизъюнктивных нормальных форм порядково-выпуклых булевых функций. Предлагается оригинальный алгоритм нахождения этих форм. 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