| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Международная школа-семинар "Синтаксис и семантика логических систем"
|
|||
|
|
|||
|
Приближенный алгоритм нахождения сложности обратимых реализаций расширенных кронекеровых форм булевых функций С. Ф. Винокуров, А. С. Францева Иркутский государственный университет |
|||
|
Аннотация: В работе продолжается исследование задачи обратимых реализаций полиномиальных нормальных представлений булевых функций и приводится реализация алгоритма нахождения сложности обратимых реализаций расширенных кронекеровых форм булевых функций. Данные исследования представляют также теоретический интерес и могут быть использованы для нахождения неизвестной пока оценки значения функции Шеннона сложности представлений булевых функций в соответствующем классе обратимых реализаций. |
|||