Now showing items 1-1 of 1
Definability of Boolean Function Over Many-value Boolean Algebra
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74007-R
In this paper, the definability of functions over B_s is first briefly discussed. We then give necessary and sufficient conditions on the definable functions over B_2, boolean algebra of four values. An efficient algorithm ...