Current Digital Logical Elements’ Synthesis and Circuitry: Linear Threshold Approach

Butyrlagin, N. V.; Chernov, N.I.; Prokopenko, Nikolay V.; Bugakova, Anna V.

doi:10.1109/sed.2019.8798446

Cited by 1 publication

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…If there is a finite set of three-valued logic microcircuits, the solution for the problem of completeness of closed classes means that we can construct all possible functional schemes for a specific application problem by combining different microcircuits from this finite set. Earlier, similar results were considered for a binary logic case [52], where the theoretical foundation for designing current circuits in Boolean and linear algebra was provided. However, for the case of multivalued logic (in particular, for three-valued logic), this is still an open problem.…”

Section: Discussionmentioning

confidence: 89%

Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications

Kalimulina

2021

Mathematics

View full text Add to dashboard Cite

This paper provides a brief overview of modern applications of nonbinary logic models, where the design of heterogeneous computing systems with small computing units based on three-valued logic produces a mathematically better and more effective solution compared to binary models. For application, it is necessary to implement circuits composed of chipsets, the operation of which is based on three-valued logic. To be able to implement such schemes, a fundamentally important theoretical problem must be solved: the problem of completeness of classes of functions of three-valued logic. From a practical point of view, the completeness of the class of such functions ensures that circuits with the desired operations can be produced from an arbitrary (finite) set of chipsets. In this paper, the closure operator on the set of functions of three-valued logic that strengthens the usual substitution operator is considered. It is shown that it is possible to recover the sublattice of closed classes in the general case of closure of functions with respect to the classical superposition operator. The problem of the lattice of closed classes for the class of functions T2 preserving two is considered. The closure operators R1 for the functions that differ only by dummy variables are considered equivalent. This operator is withiin the scope of interest of this paper. A lattice is constructed for closed subclasses in T2={f|f(2,…,2)=2}, a class of functions preserving two.

show abstract

Section: Discussionmentioning

confidence: 89%

Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications

Kalimulina

2021

Mathematics

View full text Add to dashboard Cite

show abstract

Current Digital Logical Elements’ Synthesis and Circuitry: Linear Threshold Approach

Cited by 1 publication

References 11 publications

Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications

Lattice Structure of Some Closed Classes for Three-Valued Logic and Its Applications

Contact Info

Product

Resources

About