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