# De Morgan's laws

## Theorem statement

Taken from[1]

• $A^c\cup B^c=(A\cap B)^c$
• $A^c\cap B^c=(A\cup B)^c$

TODO: Check my books - I'm sure it's more general than this (this statement is for finite)

## References

1. http://www.maths.manchester.ac.uk/~mdc/old/1K1/notes06.pdf - local copy saved, just in case