Title :
Enumeration of Ternary Threshold Functions of Three Variables
Author :
Aibara, Tsunehiro ; Akagi, Michihiro
Author_Institution :
Department of Electrical Engineering, Ehime University, Matsuyama, Japan.
fDate :
4/1/1972 12:00:00 AM
Abstract :
This note discusses the generation of ternary threshold functions of three variables. Merrill´s generation method to generate ternary threshold functions is modified. The number of ternary threshold functions of three variables is counted by a computer, the number is 85629. Tables of characterizing parameters of canonical ternary threshold functions of two and three variables are presented. A table-lookup method to realize ternary threshold functions is given. It is verified that the complete monotonicity (three-value extension of the complete monotonicity in two-valued logic) is a sufficient condition for a ternary three-variable switching function to be a ternary threshold function.
Keywords :
Circuit simulation; Computational modeling; Computer simulation; Digital circuits; Hazards; Logic design; Multivalued logic; Notice of Violation; Registers; Switching circuits; Chow´s parameters; complete monotonicity; enumeration of threshold functions; switching theory; ternary switching functions; ternary threshold logic;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1972.5008986