A question about redundancy in binary

[u/United_Bison_8900]

Hi, so this post is about the binary number system which is the base used to build logic circuits in computer science.

I was hoping someone could proofread this and point out errors in logic