One does not need to consider the four cases here, because one has negated disjuncts in the goal giving some terms to work with when one ...
確定! 回上一頁