Translate the following inference to logic notation: William is an electrician. If it is sunny, then William is not an electrician. It is sunny if and only if William is reading a book. William is reading a book or it is overcast. Therefore it is overcast.
p. q -> ~p. q <-> r. r or s. Therefore s.