Dear @Kusalananda based on what I understood from what you explained to me on the different operations I published an answer. I ask you in a rare manner to review this (quite short and straightforward) answer and to help me explain why computational anding is not subtraction even though it's looks very much like it.
I also invite @StephenKitt to review and comment. I think I am very close to finally getting this concept and your help will be most welcome and most precious for me.
https://unix.stackexchange.com/a/481576/149572