数式だけだと、「何のこっちゃい？」って感じだと思うので、以下は具体例。まず通常はありえないけど、>>64を題材とすると、

□□□□□□□
□①□④□①□
□□□□□□□

□は、まだ開いていないツルツルの未確定マス（「？」は見づらいのでやめましたｗ）。
④をα、左側の①をβ、右側の①をγすると、S(α) ＝ ｛β, γ｝で、N(α) = 4、N(β) = 1、N(γ) = 1、ってのは問題なさそう。
で、Q(α)は④の周り8マス、Q(β)は左の①の周り8マス、Q(γ)は右の①の周り8マスのこと。

そうすると、N(α) - {N(β) + N(γ)} = 4 - (1 + 1) = 2 になる。
そして、Q(α) - {Q(β) ∪ Q(γ)}ってのは、④の周り8マスから、2つの①の周り8マスと重複しているものを除外したマス、すなわち④の上下2マスだけになる。
つまり、| Q(α) - {Q(β) ∪ Q(γ)} | = 2 となり、上の N(α) - {N(β) + N(γ)} の値と一致する。
ということは、④の上下2マスは両方とも地雷で、なおかつ、①の周辺だけど④の周辺ではないような部分は全て非地雷であることがわかる。