Минимизация КНФ частично-монотонных булевых функций
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Минимизация КНФ частично-монотонных булевых функций
|
|
| Creator |
Пынько, А.П.
|
|
| Subject |
Інформатика
|
|
| Description |
Булеву функцию назовем частично-монотонной, если она монотонна относительно некоторых из своих аргументов и антимонотонна относительно остальных своих аргументов. Мы доказываем, что конъюнктивные нормальные формы частично-монотонных булевых функций можно минимизировать очень эффективно, используя лишь частично-монотонные дизъюнкты.
Булева функція зватиметься частково-монотонною, якщо вона монотонна відносно деяких з її аргументів та антимонотонна відносно решти її аргументів. Ми доводимо, що кон'юнктивні нормальні форми частково-монотонних булевих функцій можна мінімізувати дуже ефективно з використанням лише частково монотонних диз’юнктів. A Boolean function is said to be partially monotonic provided it is monotonic with respect to some of its arguments, while anti-monotonic with respect to others. We argue that the conjunctive normal forms of partiаlly monotonic Boolean functions can be minimized in a quite effective way with involving just disjuncts possesing the same partial monotonicity. |
|
| Date |
2017-11-26T09:16:23Z
2017-11-26T09:16:23Z 2017 |
|
| Type |
Article
|
|
| Identifier |
Минимизация КНФ частично-монотонных булевых функций / А.П. Пынько // Доповіді Національної академії наук України. — 2017. — № 3. — С. 18-21. — Бібліогр.: 4 назв. — рос.
1025-6415 DOI: doi.org/10.15407/dopovidi2017.03.018 http://dspace.nbuv.gov.ua/handle/123456789/126539 510.6 |
|
| Language |
ru
|
|
| Relation |
Доповіді НАН України
|
|
| Publisher |
Видавничий дім "Академперіодика" НАН України
|
|