Esprimere un confronto non firmato attraverso il confronto firmato del complemento di 2

cs.stackexchange https://cs.stackexchange.com/questions/112344

Domanda

Permettere n > 0 essere un numero naturale e per due promemoria a, b modulo 2^n Lo abbiamo a < b Iff a xor 0x800..00 <(signed) b xor 0x800...00.

È anche vero a <(signed) b Iff (0x800...00 & b <= 0x800...00 & a) && (a & 0x7FF...FFF < b & 0x7FF...FFF).

C'è un modo per dimostrare l'equivalenza di queste due proposizioni?

Nessuna soluzione corretta

Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange
scroll top