我们知道对于每一个命题产生的两个条件（或边）必然要选择其中一个边使得这个命题成立，不过在在选择的过程中，如果选了一个强连通分量中的一条边，会导致这个强连通分量以及它后面连接的别的强连通分量也得被选，这种情况下是否会导致出现矛盾（一个点正反都被选到）