Translate the following inference to logic notation: David is playing tennis if and only if it is overcast. David is playing tennis if and only if it is overcast. Therefore David is playing tennis if and only if it is overcast.
p <-> q. p <-> q. Therefore p <-> q.