Complement

$\overline{A}$ $A^{\prime }$ Logical statement is in the form: $\{x\in U|x\notin A\}$