|
VIDEO LIBRARY |
International workshop "Syntax and semantics of logical systems"
|
|||
|
Algorithm for Minimizing Multioperations in the Class of Key Standard Forms S. I. Todikov Saint Petersburg Electrotechnical University "LETI" |
|||
Abstract: This article addresses the problem of minimizing multioperations in a class of key standard forms. The work is based on the developed algorithm for minimizing multi-operations for |