Title : 
Establishment of irredundant prime implicants in Boolean minimisation techniques
         
        
        
            Author_Institution : 
Bristol College of Science and Technology, School of Electrical Engineering, Bristol, UK
         
        
        
        
        
            fDate : 
2/1/1966 12:00:00 AM
         
        
        
        
            Abstract : 
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.
         
        
            Keywords : 
mathematics; switching and automata theory;
         
        
        
            Journal_Title : 
Electronics Letters
         
        
        
        
        
            DOI : 
10.1049/el:19660062