Title: Theory / Unimportant / CS / Algo / Hacker's delight{
Tags: expressionButNoExpression2 toBinary descriptionToNotation récupéré

Page: not in book
Variables: \(x,y\) binary integers.
Expression: \(x\equiv y\)
Chapter: 2
Section: 11
Binary: \(x,y\) have same sign bit

Page: 22 not in book
Variables: \(x,y\) binary integers.
Expression: \(x\oplus y\)
Chapter: 2
Section: 11
Binary: \(x,y\) have distinct sign bit
Context: Answer in sign bit

Smaller0: \(A|B\)
Greater0: \(A|C\)
Page: 22
Chapter: 2
Section: 11
Variables: \(A,B,C\) boolean variable
Smaller to greater: \(\iff\)
Assuming: \((\neg A)\implies (B\iff C)\)
Extra: not in book
Context: answer in sign bit

Smaller0: \(A\implies(B\iff C)\)
Greater0: \(A\&C\)
Page: 22
Chapter: 2
Section: 11
Variables: \(A,B,C\) boolean variable
Greater1: \(A\&B\)
Connect Greater0: \(\iff\)

Smaller0: \(A\implies B\)
Greater0: \(B\)
Page: 22
Chapter: 2
Section: 11
Variables: \(A,B,C\) boolean variable
Greater1: \(A|(\neg A\&C)\)
Connect Greater0: \(\iff\)
Name2: \((\neg A\&C)\implies B\)

Definition: \((x\stackrel{s}{>>}1)-x\)
Page: 23
Chapter: 2
Section: 11
Notation: \(\lceil x/2\rceil\)
Extra: Not in the book

Page: 23
Expression: \((x\stackrel{u}{>>}1)\)
Chapter: 2
Section: 11
Numeric: \(\lfloor x/2\rfloor\)

Page: 21 Not in the book
Variables: \(x,y\) binary integers
Expression: \(x-y\)
Chapter: 2
Section: 11
Notation: \(x<y\)
Assuming: \(x,y\) have the same sign digit