>>936782213
looks like ~ is (kind of because you still need one to be there) logical OR according to the ATF FAQ, so

~A B means "definitely B, and optionally A", 1, and 2

while ~A ~B is "either A or B" which is all three

but that's just my guess