Translate the following inference to logic notation: If it snows, then Linda is cooking. If Linda cooks, then it is snowing. Therefore Linda is cooking if and only if it is snowing.
p -> q. q -> p. Therefore q <-> p.