Translate the following inference to logic notation: Karen is taking a plane or it is late. Karen is not taking a plane or it is raining. Sarah is a police officer if and only if it is raining. It is not late. Therefore Sarah is a police officer.
p or q. ~p or r. s <-> r. ~q. Therefore s.