the atomic declarations say which combination of p p and q q is true