Square Roots and Functional Decompositions of Boolean Functions

A square root of an isotone Boolean function f with respect to a variable xi was defined by Reischer and Simovici [10] as a Boolean function s such that holds identically. More generally, given a partition (T,Y,Z) of the set X = (x1,···,xn) of variables, we may be interested in finding a functional decomposition of the form