p^(p'↓q) bileşik önermesi aşağıdakilerden hangisine daima denktir​