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> *...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Theorem statement

Taken from[1]

  • AcBc=(AB)c
  • AcBc=(AB)c



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



References

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