Translate the following inference to logic notation: It is late or Richard is an electrician. It is late if and only if Patricia is happy. Patricia is happy if and only if Richard is an electrician. Therefore Patricia is happy.
p or q. p <-> r. r <-> q. Therefore r.