Unateness Test of a Boolean Function and Two General Synthesis Methods Using Threshold Logic Elements

This paper presents an elaboration of the unateness test of a Boolean function based on the definition of the so-called simple zero or unit transition of arguments of the given Boolean function. It is proved that the unateness of the given Boolean function is subject to the necessary and sufficient condition that there must be no occurrence of both simple unit transition and zero transition at the same time. Whether this condition is satisfied or not can easily be seen from the truth table of the given function.