Translate the following inference to logic notation: If David were an electrician, then John is curious. If it is sunny, then David is an electrician. If Elisabeth goes running, then it is sunny. If John were curious, then Elisabeth is running. Therefore David is an electrician if and only if John is curious.
p -> q. r -> p. s -> r. q -> s. Therefore p <-> q.