Is Bita Happy?

Bita has learned bitwise-operations recently. She is doing some experiments with these operations now. Whenever she becomes happy, she frees doves. At this moment, she becomes happy when the following equation becomes correct for some integers a, b and k: (a & b) & (1 << k) ≠ 0


This is a companion discussion topic for the original entry at https://toph.co/p/is-bita-happy