|
|
International workshop "Syntax and semantics of logical systems"
August 15, 2019 16:30–16:50, Сamp site on the shore of Lake Hovsgol
|
|
|
|
|
|
Algorithm for Minimizing Multioperations in the Class of Key Standard Forms
S. I. Todikov Saint Petersburg Electrotechnical University "LETI"
|
Number of views: |
This page: | 103 | Materials: | 3 |
|
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 $n = 2$ and $n = 3$. Using the developed algorithm,
all minimal representations of multioperations for $n = 2$ and $n = 3$, the average
complexity of the minimal representation of multiopearions and the quantitative
distribution of multioperations by the minimal complexity of the obtained minimal
representation in the class of key standard forms are obtained. The obtained results
of minimizing multioperations in the class of key standard forms are compared
with the minimization of multioperations in the class of standard forms.
Supplementary materials:
Слайды_Тодиков.pdf (265.1 Kb)
,
Тодиков.pdf (1.5 Mb)
|
|