De Morgan's laws
From Maths
Revision as of 13:14, 16 June 2015 by Alec (Talk | contribs) (Created page with "==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> *...")
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
