There are three cases: (1)p true q false, when both δ's are less than 0, a (2)p false q true, when both δ's are greater than or equal to 0, a (3)p false q false, the first δ's greater than or equal to 0, the second δ's less than 0, a, and finally the union of a.