Research Output

Minimization of dual Reed-Muller forms using dual property.

  We present two algorithms in this paper: the first is used to convert between Product of Sums (POS) and Positive Polarity Dual Reed-Muller (PPDRM) forms; while the second algorithm generates all the polarity sets from any polarity set for a single output function. In the optimization of FPDRM expansions, functions with different polarities are usually calculated dierctly from POS expressions. Two FPDRM expansions that have the same number of variables and whose polarities are dual can be derived from each other without starting from POS expressions. Hence, by repeating certain operations on the DRM expansions, all polarities can be derived. This technique finds the best polarity of FPDRM amomg the 2" fixed polarities.The algorithm is based on the dual proprty and the Gray code strategy. Time efficiency and computing speed are achieved in this technique because the information in finding FPDRM expansion of one polarity is utilised by others. The proposed methods are efficient in terms of memory size and CPU time as shown in the experimental results.

  • Type:


  • Date:

    31 December 2006

  • Publication Status:


  • Publisher

    World Scientific and Engineering Academy and Society, Athens

  • ISSN:



Faraj, K. & Almaini, A. E. A. (2006). Minimization of dual Reed-Muller forms using dual property. WSEAS Transactions on Circuits and Systems. 6, 9-15. ISSN 1109-2734



Electric networks; Network analysis; Computer algorithms; Computer programming; Polarity sets; Reed-Muller forms; Data storage; Processing speed;

Available Documents