Translate the following inference to logic notation: If it is late, then Susan is a poet. If Linda cooks, then it is late. Linda is cooking or Susan is not a poet. Therefore it is late if and only if Linda is cooking.
p -> q. r -> p. r or ~q. Therefore p <-> r.