|
О сложности реализации линейных булевых функций в базисе «импликация — отрицание»
Ю. А. Комбаров МГУ им. М.В. Ломоносова
Аннотация:
Работа посвящена исследованию схем из функциональных элементов в базисе $\{x \to y, \overline{x}\}$. Найдено точное значение сложности реализации неоднородной линейной функции, а также получено описание минимальных схем, реализующих однородную линейную функцию.
Работа выполнена при поддержке Российского фонда фундаментальных исследований (проект 14-01-00598 [1]).
Статья поступила: 17.09.2014
Образец цитирования:
Ю. А. Комбаров, “О сложности реализации линейных булевых функций в базисе «импликация — отрицание»”, Дискрет. матем., 27:1 (2015), 73–97; Discrete Math. Appl., 25:4 (2015), 211–231
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1316https://doi.org/10.4213/dm1316 https://www.mathnet.ru/rus/dm/v27/i1/p73
|
Статистика просмотров: |
Страница аннотации: | 422 | PDF полного текста: | 180 | Список литературы: | 43 | Первая страница: | 36 |
|