(not (P xor Q)) or (R and T)