Translate the following inference to logic notation: Patricia is bored if and only if Linda is rich. It is snowing if and only if Patricia is bored. It is snowing or Linda is not rich. Therefore Patricia is bored if and only if it is snowing.
p <-> q. r <-> p. r or ~q. Therefore p <-> r.