Si l’on se trouve en présence d’une expression booléenne ou des ses termes, le programme décrit dans le présent article en fournit une expression simplifiée (ou réduite d’où le terme de réducteur du titre.S’il vous est déjà arrivé de concevoir un circuit numérique relativement complexe vous n’êtes pas sans savoir qu’il est souvent possible de simplifier ce qui paraît un inextricable réseau de portes logiques et d’inverseurs en mettant simplement sur papier, sous la forme d’équations booléennes, tout ce qui se trame dans le circuit; on découvre en effet qu’il est souvent de condenser ces expressions d’une manière telle qu’il devient possible de réduire effectivement le nombre de circuits intégrés nécessaires !