Wozu die ganzen Komplemente (~)?
Du hast doch ganz normale 'positive' Logik, oder?