The Philosophy Discussion Forum

(P --> P) <--> (Q <--> -P) <--> (P --> -P)

A. (P --> P) --> Q
B. (Q <--> -P)
C. (P --> -P)