Translate the following inference to logic notation: Joseph is excited if and only if it is sunny. It is snowing if and only if it is raining. It is not raining. It is not sunny. Therefore Joseph is not excited or Linda is running.
p <-> q. r <-> s. ~s. ~q. Therefore ~p or t.