https://123dok.net/document/q2n7j05e-décompositions-simples-des-fonctions-booléennes.html