Translate the following inference to logic notation: Patricia is a soldier if and only if it is overcast. It is overcast. Therefore Patricia is a soldier or Linda is a poet.
p <-> q. q. Therefore p or r.