A Computer Algorithm for Minimizing Reed-Muller Canonical Forms

A computer algorithm is presented that uses geometrical operations to minimize multioutput Reed-Muller expansions of up to ten variables.