[color=000000][size=5][size=2][b]我现在是自学的离散数学，我想问一个问题，就是在离散数学中可满足性问题与消解法中的一个题目。p∨q∨r,p∨q ,可消解为p∨q,α=011和（p∨q∨r)∧(p∨┐r)，α=010。其中的α是怎样算出来。我看了两天也没有看明白是怎么回事，请高手指教一下？[em2][/b][/size][/size][/color]