Translate the following inference to logic notation: Thomas is an electrician or Joseph is not a police officer. Joseph is a police officer or Charles is not excited. Therefore if Charles were excited, then Thomas is an electrician.
p or ~q. q or ~r. Therefore r -> p.