我们先不要管两个数按位与为\(1\)和两个数按位或为\(0\)的情况那么剩下的情况就是很简单的2-SAT问题就像并查集处理二元关系一样，这里最后建成的图一定是完全对称的，如下其中每个点都是一个SCC然后我们再来看剩下的两种情况，拿两个数按位与为\(1\)为例这就说明两个数必须要都是