سلام
ببین بیت علامت همیشه با ارزش ترین بیت یک عبارته، که خودتم میدونی و وقتی سرریز اتفاق میوفته که یک رقم نقلی تولید بشه که تو اون دامنه عبارت قرار نگیره و با بیت علامت هم مرتبه بشه که جای بیت علامت قرار میگیره، و کلاً اگه کنترلی روی این قضیه نشه جوابای اشتباهی رو بر میگردونه...
این علامت (به اضافه گنده رو!) رو هم که میبینی، یا انحصاری ،اکسکلوسیو اٌر، یا همون به قول خودمون Xor هستش موقعی که هر عبارتی با این گیت قرار میگیره،اگه با صفر باشه، همون عبارت رو بر میگردونه و اگه هم با یک Xor بشه،متمم یا همون مکمل اون عبارت رو بر میگردونه،یا به طور کلی میشه گفت کار گیت Xor اینه که عبارت هایی که با هم نامساویند و یا تعداد یک هاشون فرده رو یک،و اگه عبارت ها مساوی باشند و یا تعداد یک هاشون فرد نباشه رو،صفر بر میگردونه...
خب اینا همش مقدمه بود که بریم سراغ اصل قضیه...
بین اینجا اگه a با b مساوی بشه و یا حتی a از b بزرگتر بشه،سرریز اتفاق میوفته و چون اون بیتی که تولید میشه،جای بیت علامت رو میگیره،پس در نتیجه مقدار بیت علامت و اون بیت نقلی که باعث سریز شدن شده با هم برابر میشند...
توی xor هم اگه دو عبارت با هم برابر باشند،صفر رو برمیگردونه،چون اینجا هم سرریز اتفاق افتاده و جای بیت علامت نشسته و این دو با هم برابر شدند...

توی قسمت دوم هم چون a کوچکتر از b،پس در نتیجه سرریزی اتفاق نمیوفته و جای بیت علامت رو نمیگیره،پس در نتیجه این رو با هم مساوی نمیشند و چون با هم مساوی نیستند،توی Xor،یک برگردونده میشه...

البته قسمت دومش اکثر موارد درسته،ولی به نظر من نمیشه کلاً همچین نتیجه ای رو گرفت،چون با اینکه سرریزی اتفاق نمیوفته ولی ممکنه این دو به طور تصادفی با هم مساوی بشند و اونوقت Xor صفر رو برمیگردونه...
این بستگی داره که قبل و بعد این عبارت چی بوده که همچین نتیجه گیری رو کرده...

با این توضیحاتی که گفته شد،دیگه میتونی بفهمی که عبارت چی میگه،ولی اگه بازم سوالی داشتی،بنده و بقیه دوستان در خدمتیم...
موفق باشید...