Title: Application du formalisme booléen algébrique à la synthèse de systèmes logiques combinatoires