Detection of Group Invariance or Total Symmetry of a Boolean Function*

Abstract

A method is presented for determining whether a Boolean function possesses any group invariance; that is, whether there are any permutations or primings of the independent variables which leave the function unchanged. This method is then extended to the detection of functions which are totally symmetric.