A Note on Minimal Reed-Muller Canonical Forms of Switching Functions
- 1 March 1977
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-26 (3) , 310-313
- https://doi.org/10.1109/tc.1977.1674830
Abstract
A nonexhaustive procedure for obtaining minimal Reed-Muller canonical (RMC) forms of switching functions is presented. This procedure is a modification of a procedure presented earlier in the literature and enables derivation of an upper bound on the number of RMC forms to be derived to choose a minimal one. It is shown that the task of obtaining minimal RMC forms is simplified in the case of symmetric functions and self-dual functions.Keywords
This publication has 3 references indexed in Scilit:
- Algorithm for Minimal Polarized Polynomial Form DeterminationIEEE Transactions on Computers, 1974
- Unateness Properties of and-Exclusive-or Logic CircuitsIEEE Transactions on Computers, 1974
- Minimization of Exclusive or and Logical Equivalence Switching CircuitsIEEE Transactions on Computers, 1970