Utilisation de l'algèbre de Boole pour la simplification des circuits logiques — Olivier Clouzot, Philippe Delarue, Maurice Gambach