Establishment of irredundant prime implicants in Boolean minimisation techniques

This note details a numerical method whereby redundant terms in a binary minimisation programme may be detected and hence eliminated. The method is in contrast to mapping or chart methods, and hence is amenable to digital-computer programming if desired.