ZZ & ZZ -- logical and

• Operator: &

• Usage:

  m & n

• Inputs:
  • m, an integer
  • n, an integer
• Outputs:
  • an integer, obtained from the bits of the integers m and n by logical 'and'.

i1 : (2^15 + 2^13 + 2^42) & (2^15 + 2^23 + 2^42) == 2^15 + 2^42

o1 = true