Bonjour, pour la simplification, tu peux par exemple faire un tableau (je tente le coup sur le forum)



a b a+(non a.b) a+b
0 0 0 0
0 1 1 1
1 0 1 1
1 1 1 1



Donc ça se vérifie bien. Ensuite, tu peux voir que si tu as A, alors c'est vérifié, et si tu n'as pas A, alors tu as nonA automatiquement (dans l'algèbre de Boole) et donc nonA et B se résume à savoir si tu as B ou pas.

Je vois pas ton schéma, désolé...