A method of finding simple disjunctive decomposition with one free variable

Simple disjunctive decomposition with one free variable can be obtained by using the prime implicants of the Boolean function. A function is decomposable with its redundant variable as a free variable. A necessary condition for decomposition with a non-redundant variable as free variable is that the number of minterms in an n variable function be 2^(n?1). A sufficient condition is that the variable remain present, in either true or complemented form, in all the prime implicants of the function.