In mathematics and computer science, the BIT predicate, sometimes  is a predicate that tests whether the  bit of the  (starting from the least significant digit)  when  is written as a binary number.
In mathematics and computer science, the BIT predicate is a predicate that checks if the bit of the (starting from the least significant digit) when written as a binary number.