> a(1) && b(1);
  a: 1
  b: 1
  > a(0) && b(1);
  a: 0
  > a(1) || b(1);
  a: 1
  > a(0) || b(1);
  a: 0
  b: 1