Consider the following statements.
p = "You are in Seoul."
q = "You are in Kwangju."
r = "You are in South Korea."
i) Translate given statement into symbols of formal logic: If you are not in South Korea, then you are not in Seoul or Kwangju.
ii) Translate given formal statement into everyday English: q →(r Λ ¬ p )