Closure operators on Boolean functions
Several closure operators on the algebra of truth functions have been studied in the literature. This chapter begins with a preliminary section containing all necessary prerequisites on closure operators in general. Then we present, within the framework of arbitrary Boolean functions, some specific closures (increasing, decreasing, independent and simple) with an application to the problem of determining a partially defined Boolean function from a given class. Other applications will be included in Ch.8, §1, and in Ch.11, §3.
Unable to display preview. Download preview PDF.