That? http://www.yotor.com/wiki/en/de/De%20Morgans%20laws.htm
http://en.wikipedia.org/wiki/De_Morgan's_laws
http://planetmath.org/encyclopedia/Complement.html