Translate the following inference to logic notation: If John were an electrician, then Jessica is bored. Jessica is not bored. John is an electrician if and only if William is a politician. Barbara is writing a letter. Therefore William is not a politician and Barbara is writing a letter.
p -> q. ~q. p <-> r. s. Therefore ~r and s.