Skip to Main Content
A minimisation method for Reed-Muller polynomials in mixed polarity known as the decomposition method is developed. The method adopts the top-down approach in which the products of a Reed-Muller polynomial are decomposed from a 1-term list one by one. It can be implemented on computers. Tristate maps can also be used if the number of variables is equal to, or less than, six.