Answer 1

b|1 is always odd since the LSB determines whether the number is even or odd, and |1 sets that bit to true. !(b|1) is even because the ! toogles all bits, including the LSB.