Gerald M. Jensen

• SYM-1, a program that detects symmetry of variable-valued logic functions