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
