Research on Computer Logic and Number Systef

摘要

The report presents the results of several related investigations of computer logic and number systems. The report is divided into seven parts, which deal with group equivalence of switching functions, group methods in switching theory, multilevel Boolean minimization, minimal synthesis of tree structures, three-valued logical systems, and the general properties of finite, weighted number systems. (Author)