(p<=>q)<=>(p<=>q)' önermesi asağıdakilerden hangisine denktir?​