2-SAT 可否处理类似以下的关系？

• 若 $a_i,a_j,a_k,\cdots,a_l$ 都等于 $0$，则 $a_x=1$。