The hyperoctahedral group on the set of N-variable Boolean functions is defined. The problem of determining, given an arbitrary function, its equivalence class membership (type) is posed and, for the special case of four-variable functions, solved by a method that in use proved to be four times as rapid as computation of the conventional Golomb-Ninomiya[1],[2] invariants.
Published in:
Electronic Computers, IEEE Transactions on
(Volume:EC-16
,
Issue:
6
)
Date of Publication: Dec. 1967