Oui j'ai hésité à développer.
Ça se voit assez intuitivement, puisque t'as un "+a" dans ton expression, tu peux rajouter "+abcd", ça ne changera rien. Si le "abcd" est vrai, le "a" l'est forcément aussi. Tel quel, ça ne fait qu'alourdir l'expression, mais ça te permet de factoriser pour simplifier. C'est un peu un "tour de passe-passe"
Si tu as toujours du mal (je marque pas le \a.bcd ) :
a
= a.1
= a.(1+bcd)
= a + abcd
De toute façon, dans ce cas-là, distribuer est de loin le plus simple.