Translate the following inference to logic notation: It is sunny or it is snowing. Barbara is not climbing a mountain. Barbara is climbing a mountain if and only if it is sunny. Thomas is not a cashier or Barbara is a bartender. Therefore it is snowing or Barbara is a bartender.
p or q. ~r. r <-> p. ~s or t. Therefore q or t.