Name
Abstract | ||
|---|---|---|
A technique to compute logic derivatives of MVL-functions is considered based on four algorithms, two of them are new. At first these are symbolic and matrix algorithms to find logic derivatives with respect to variables, and, secondly, partial direct and inverse derivatives. The algorithms are compared by using an example of testing a MVL switching circuit. The matrix approach allows to extract the appropriatenesses of computing process and to come to some simple operators of logic processing truth vectors of MVL functions. |
Year | DOI | Venue |
|---|---|---|
1996 | 10.1109/ISMVL.1996.508366 | Santiago de Compostela |
Keywords | Field | DocType |
multivalued logic,MVL switching circuit,MVL-functions,inverse derivatives,logic derivatives,logic processing,matrix approach,partial direct,truth vectors | Boolean function,Discrete mathematics,Sequential logic,Computer science,Logic optimization,Matrix (mathematics),Algorithm,Inverse functions and differentiation,Electronic engineering,Operator (computer programming),Derivative (finance),Taylor series | Conference |
ISSN | ISBN | Citations |
0195-623X | 0-8186-7392-3 | 6 |
PageRank | References | Authors |
0.82 | 1 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Shmerko, V.P. | 1 | 21 | 2.70 |
| S. N. Yanushkevich | 2 | 12 | 3.70 |
| V. G. Levashenko | 3 | 24 | 4.24 |
| Bondar, I. | 4 | 6 | 0.82 |