>>967
ド・モルガンの法則から
そういう計算をしている

p: Aが自分の帽子を受け取る
q: Bが自分の帽子を受け取る

として
(not p) かつ (not q) ⇔ not (p または q)
だから
p または q を計算してその補集合を取っている