"not (x or y)" reads as "neither x nor y"...