Title: Synthèse de fonctions booléennes générales