Translate the following inference to logic notation: If it snows, then Charles is not reading a book. Charles is reading a book or Barbara is not a bartender. Barbara is a bartender. Therefore it is not snowing.
p -> ~q. q or ~r. r. Therefore ~p.