C++基础-整数二进制表示

判断：C++中int型变量a满足((a | 3) == 3)为true时，a是否取值于0~3之间（含0和3）
判断：若int类型变量a满足表达式((a | 3) == 3)的值为true，则a的低两位全为0，该表述是否正确？