Source: https://doumai.pagesperso-orange.fr/Logique/Logique combinatoire/13 Simplification d'une equation.pdf