Testing and Realization of Threshold Functions with Don't Cares

Abstract
In this note the successive-higher-ordering method for testing and realization of threshold functions is applied to the realization of a threshold function F, such that it will contain a given function F1, which may or may not be a threshold function, and such that it will be contained in F1+Fø, where Fø is the function representing the don't care vertices. Before the application of the successive-higher-ordering method, the given functions F1 and F0 = (F1+Fø) are first changed into unate functions by the successive positivizing of the functions with respect to the variables, one at a time. Some theorems relating to this formation of unate functions are presented. A systematic procedure for testing and realization is developed. An example is given for illustration.

This publication has 2 references indexed in Scilit: