(۲۳ دى ۱۳۹۵ ۱۱:۲۰ ق.ظ)Pure Liveliness نوشته شده توسط:  سلام.
توی گزینه ی اول گفته اگه [tex]s\oplus v\oplus z[/tex] برابر با یک شد یعنی B>A
xor زمانی ۱ میشه که تعداد فرد تا از عملوند های xor شده ۱ باشند. یعنی توی این جا یا یکی یا سه تاش.
حالا مثال نقض این میشه که z=1 و s=v=0 که توی این حالت هم xor میشه ۱ و وقتی z=1 یعنی حاصل A-B=0 که یعنی B>A غلط هست و تحت یه شرایطی با توجه به این عبارتی که گفته ممکنه اینا برابر باشن.
درباره ی بخش دوم که گفته [tex]c\oplus z=1[/tex]هم باز اگه z=1 و c=0 باشه یعنی به خاطر ۱ بودن z حتما AوB برابرند و این یعنیB>A غلط هست و اینا مساوی ممکنه باشن.
پس گزینه ی ۱ غلط هست.
پس نباید Z=1 چون در این صورت با هم برابرند Aو B.