Definability of Boolean Function Over Many-value Boolean Algebra
Kang, Andy N. C.
Shen, Stewart N.T.
MetadataShow full item record
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 is also presented for finding the defining boolean expressions for the definable functions over B_2, The result is then extended to the functions over B_s.