En réponse à votre question concernant l'expression "a+(non a.b) =a+b"
Tout d'abord il faut de mettre d'accord de l'existance des lois fondamentale de l'algèbre de boole on trouve cette expression que tu as rencontré:
explication
a+not a.b = (a+not a).(a+b) ; en appliquant la loi de distributivité de 'ou' sur 'et'
et on a (a+not a) =1 ; d'après la loi d'dempotence ed boole
Finalement, on trouve: (a+not a).(a+b)=a+b

Req: Essayer toujours d'appliquer les loi fondamentale de Boole, apprener les par coeur!