Un circuit booléen s'obtient à partir de portes (logiques ou
structurelles) par composition parallèle et séquentielle. Deux circuits
définissent la même application s'ils sont équivalents modulo un nombre
fini d'équations. Je cherche des présentations par générateurs et
relations de ce type pour certaines restrictions (circuits réversibles)
ou pour des extensions (circuits quantiques). J'ai déjà des jolis
résultats pour le cas linéaire réversible.