Complementation laws (Sets)

There are complementation laws that say that:

• $A\cup \bar{A}=U$
• $A\cap \bar{A}=\varnothing$
• $\overline{\stackrel{ˉ}{A}}=A$
• $\bar{U}=\varnothing$
• $\bar{\varnothing }=U$