Salut,

Perso je dirais plutôt a+bc
abc+a+bc=a+bc(a+1) avec a+1=1
a+bc1 avec bc1=bc
a+bc

Pour asevere:
C'est de l'algèbre de Boole, pour les explications il y a ce qu'il faut à la "maison": http://www.commentcamarche.net/logic/intro.php3

A++