(A^C)^C we read this as The complement of the Complement of Set A The complement of set A is anything NOT in A. But the complement of the complement is anything NOT NOT IN A. Which is just A