Translate the following inference to logic notation: John is a cashier if and only if Linda is a sailor. John is a cashier or Jennifer is reading a book. If Jennifer reads a book, then Linda is a sailor. Therefore Linda is a sailor or it is cold.
p <-> q. p or r. r -> q. Therefore q or s.