Tabular techniques for Reed—Muller logic

Tabular techniques are described for the conversion between boolean expressions and Reed-Muller polynomials, and for the derivation of fixed polarities. The techniques are simple, systematic, and can be used manually or programmed on a computer. Further, they can be used for any number of variables and hence overcome map limitations. Computer programs have been developed to implement the algorithms.