we will write T$($P$)$ for the truth set of P$,$ meaning the set of inputs that make P true. Likewise we will write T$($Q$)$ for the truth set of Q$,$ meaning the set of inputs that make Q true. In this case, the inputs to P and Q are subsets of X