P: I went to the street, Q: I went to the bookstore, R: I was very tired;

. . . . . Unless I'm tired. ? Does this mean that as long as I am not tired, I will. . . . . .

Therefore, if non-r is a sufficient condition for (p contains q), it is symbolized as: