Bir mantık sorusunda "p ancak ve ancak q" önermesinin sembolleştirilmiş hali aşağıdakilerden hangisidir?