Introduction
On note tout d'abord que la soustraction n'existe pas en algèbre binaire:
on n'a pas le droit de simplifier une égalité logique par soustraction d'un même terme dans les deux membres de l'égalité:
a+b=a+c ⇏ b=c
Exemple : (a=1,b=0 et c=1)