A Venn diagram describing the interaction between two logical sets represented by the variables P and Q. The shaded portion is the negation of the intersection between these two sets.