On Completeness of Multifunction Set of Rank 2 set of multifunctions on f0; 1g which contains all unary
Boolean functions with respect to given
States on symmetric logics: Extensions, i.e., collections of subsets generalizing
Boolean algebras and closed under the symmetric difference
Minimal Algebras of Unary MultioperationsPeryazev, Nikolay A.,
Peryazeva, Yulia V.,
Sharankhaev, Ivan K.,
Перязев, Николай А.,
Перязева, Юлия В.,
Шаранхаев, Иван К. of the main result:
descriptions of the
minimal algebras of unary multioperations of a finite rank. As a
A method for bi-decomposition of partial Boolean functionsA method for bi-decomposition of incompletely specified (partial)
Boolean functions is suggested
SAT solvers application of deriving all test pairs detecting robust testable PDFsIt is known that if we have set of test pairs of neighbor
Boolean vectors for robust testable PDF
Race-free state assignment for low power asynchronous automaton along with
minimizing the number of memory elements and
minimization of their switching activity
Deriving approximate logic circuits for TMR technique of one of the three circuits may be undetected. It is desirable to
minimize this area. In this paper
A heuristic method for bi-decomposition of partial Boolean functions is assigned with a set of arguments of the given function. According to each of bicliques, a
Boolean function
On the continuation of incompatible classes of Boolean tables from fragments of identical width for incompatible classes of
Boolean tables from fragments of identical width depending on the following parameters
Complete testing of programmable boolean matrices and signature analysisIt is shown the usage of binary counter as test generator for programmable
boolean matrix permits