Translate the following inference to logic notation: Charles is taking a plane or it is sunny. Charles is not taking a plane. Patricia is running or it is not sunny. Therefore Patricia is running.
p or q. ~p. r or ~q. Therefore r.