但是，对于一组布尔方程，可能会有多组解同时成立。要怎样判断给每个布尔变量赋的值是否恰好构成一组解呢？ 这个很简单，只需要 当 x 所在的强连通分量的拓扑序在 $x\neg x$ 所在的强连通分量的拓扑序之后取 x 为真 就可以了。

这里“当 x 所在的强连通分量的拓扑序在 $x\neg x$ 所在的强连通分量的拓扑序之后取 x 为真 就可以了”请问是为什么呀