P ancak ve ancak q nun değili neye denktir?