Source: http://stephane.genouel.free.fr/FT/0 TD/TD 31 corrig� - Simplification et recomposition d'une fonction logique.pdf