Translate the following inference to logic notation: John is a scientist or Jessica is not taking a plane. James is a mechanic or Jessica is taking a plane. John is a scientist or James is not a mechanic. Therefore John is a scientist.
p or ~q. r or q. p or ~r. Therefore p.