> I mean wearing my programmer goggles it doesn't state privacy AND correspondence but OR, but still.

But still what? The logic is perfectly correct; ~(a | b) = (~a & ~b)