Аннотация:
Рассматриваются слабо определенные булевы функции и системы. Предлагается серия практически эффективных алгоритмов их реализации AND/EXOR-схемами, основанных на оптимизации полиномиальных представлений и решении соответствующих матричных логических уравнений. Полученные результаты обобщаются на многозначную логику.
Статья представлена к публикации членом редколлегии:О. П. Кузнецов
Образец цитирования:
А. Д. Закревский, “Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы”, Автомат. и телемех., 2004, № 6, 158–176; Autom. Remote Control, 65:6 (2004), 978–996
\RBibitem{Zak04}
\by А.~Д.~Закревский
\paper Алгоритмы синтеза полиномов, реализующих слабо определенные булевы функции и системы
\jour Автомат. и телемех.
\yr 2004
\issue 6
\pages 158--176
\mathnet{http://mi.mathnet.ru/at1595}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2096084}
\zmath{https://zbmath.org/?q=an:1075.94033}
\elib{https://elibrary.ru/item.asp?id=16218345}
\transl
\jour Autom. Remote Control
\yr 2004
\vol 65
\issue 6
\pages 978--996
\crossref{https://doi.org/10.1023/B:AURC.0000030908.29984.ca}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000222270600011}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84904240899}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at1595
https://www.mathnet.ru/rus/at/y2004/i6/p158
Эта публикация цитируется в следующих 1 статьяx:
А. Б. Лапшин, “Классификация булевых функций по инвариантам их матричного представления”, Автомат. и телемех., 2006, № 7, 95–103; A. B. Lapshin, “Classification of Boolean functions by the invariants of their matrix representation”, Autom. Remote Control, 67:7 (2006), 1100–1107