C´est pas exactement de l´auto, c´est plutôt de la logique (mais bon la logique est utile en auto).
expression de gauche : a/(+)b/ = a/.b + a.b/
expression de droite : (a(+)b/)/ = (a.b + a/.b/)/ = (a.b)/.(a/.b/)/ = (a/+b/).(a+b) = a/.a + a/.b + b/.a + b/.b = a/.b +a.b/
Les 2 expression sont donc bien égales.
En fait, j´ai utilisé plusieurs trucs :
a(+)b = a/.b + a.b/
a.a/ = 0 (car quand l´un vaut 1, l´autre vaut forcément 0)
(a+b)/ = a/.b/ (théorème de De Morgan)
(a.b)/ = a/ + b/ (théorème de De Morgan)