Unate Truth Functions

Abstract

This paper contains some applications of an elementary study of unate truth functions. One application is a method of deciding when a truth function is linearly separated, i. e., is expressible as a linear polynomial inequality in its arguments (letting 1 represent truth and 0 represent falsity). Other applications are to contact nets and to rectifier nets. Much of the material of this paper, although not in print, is well known to some logicians and switching theorists. Nothing from the first three sections is original.