x     = value1 /= 0
  y     = value2 /= 0
  NOTx  = x == 0
  xANDy = x * y
  xORy  = x + y  /= 0
  EOR   = x /= y