View source for De Morgan's laws

==Theorem statement==
Taken from<ref>http://www.maths.manchester.ac.uk/~mdc/old/1K1/notes06.pdf - local copy saved, just in case</ref>
* <math>A^c\cup B^c=(A\cap B)^c</math>
* <math>A^c\cap B^c=(A\cup B)^c</math>

{{Todo|Check my books - I'm sure it's more general than this (this statement is for finite)}}

==References==
<references/>

{{Theorem Of|Set Theory}}