# De Morgan's laws

From Maths

## Theorem statement

Taken from^{[1]}

- [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

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