Model-based reasoning about a system requires an explicit representation of the system’s components and their connections. Diagnosing such a system consists of locating those components whose abnormal behavior accounts for the faulty system behavior. The system in this paper is represented by Boolean functions and the variables represent the components. For each component a probability is given...

In the present paper we study properties of perfectly balanced Boolean functions. Based on the concept of Boolean function barrier, we propose a novel approach to construct large classes of perfectly balanced Boolean functions.

We establish a lower bound for deciding the satisfiability of the conjunction of any two Boolean formulas from a set called a full representation of Boolean functions of n variables a set containing a Boolean formula to represent each Boolean function of n variables. The contradiction proof first assumes that there exists a Turing machine with k symbols in its tape alphabet that correctly decid...

We establish a lower bound of 2 conditional branches for deciding the satisfiability of the conjunction of any two Boolean formulas from a set called a full representation of Boolean functions of n variables a set containing a Boolean formula to represent each Boolean function of n variables. The contradiction proof first assumes that there exists a Post machine (Post’s Formulation 1) that corr...

We study the relations between boolean functions and symmetric groups. We consider elements of a symmetric group as variable transformation operators for boolean functions. Boolean function may be xed or permuted by these operators. We give some properties relating the symmetric group Sn and boolean functions on Vn.

The Specialized Normal Form (SNF) is a unique (canonical) representation of Exclusive Sum-Of-Products (ESOP) expressions of a Boolean function. Hence this expansion of a Boolean function abstracts the form of the given ESOP expression and directs the focus to the properties of the function itself. This paper shows, how information about the given function can be detected from the shape of the S...

This paper argues that the renormalization group technique used to characterize phase transitions in condensed matter systems can be used to classify Boolean functions. A renormalization group transformation is presented that maps an arbitrary Boolean function ofN Boolean variables to one ofN−1 variables. Applying this transformation to a generic Boolean function (one whose output for each inpu...