Translate the following inference to logic notation: Patricia is taking a plane if and only if Joseph is a musician. Patricia is taking a plane if and only if Charles is poor. Joseph is a musician or Charles is poor. Therefore Patricia is taking a plane.
p <-> q. p <-> r. q or r. Therefore p.