Definability of Boolean Function Over Many-value Boolean Algebra

Files
TR Number
CS74007-R
Date
1974
Journal Title
Journal ISSN
Volume Title
Publisher
Department of Computer Science, Virginia Polytechnic Institute & State University
Abstract

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.

Description
Keywords
Citation