True only if both p and q are true.

True if at least one of p or q is true.