
Accession Number : AD0731479
Title : Maximal Groups of Permutations and Complementations of the Independent Variables Which Leave a Set of Boolean Functions Invariant,
Corporate Author : ILLINOIS UNIV URBANA COORDINATED SCIENCE LAB
Personal Author(s) : Forbes,Janet Elaine Dorman
Report Date : SEP 1971
Pagination or Media Count : 129
Abstract : The group of permutations and complementations, G sub n, is important in switching and automata theory. Elements of this group act on Boolean functions by complementing and/or permuting their variables. A subgroup of G sub n is said to fix a set of n variable Boolean functions if every member of the subgroup leaves every function in the set invariant. The author defines the group of symmetries for the set of n variable Boolean functions fixed by a cyclic subgroup of G sub n to be the largest subgroup of G sub n which fixes every function in the set. Theorems are proved which enable one to determine completely the group of symmetries for the set of functions fixed by any cyclic subgroup of G sub n. In some instances the group of symmetries is larger than the cyclic subgroup and in others it is equal to the cyclic subgroup. (Author)
Descriptors : (*SPECIAL FUNCTIONS(MATHEMATICAL), COMPUTER LOGIC), (*LOGIC CIRCUITS, DESIGN), GROUPS(MATHEMATICS), PERMUTATIONS, INVARIANCE, AUTOMATA, SWITCHING CIRCUITS, MATHEMATICAL LOGIC, THEOREMS, THESES
Subject Categories : Theoretical Mathematics
Distribution Statement : APPROVED FOR PUBLIC RELEASE