Translate the following inference to logic notation: Patricia is a janitor or Jennifer is a poet. Patricia is writing a letter or Patricia is not a janitor. Patricia is writing a letter or Jennifer is not a poet. Therefore Patricia is writing a letter.
p or q. r or ~p. r or ~q. Therefore r.