De Morgan's laws

From Maths
Jump to: navigation, search

Theorem statement

Taken from[1]

  • Ac∪Bc=(A∩B)c
  • Ac∩Bc=(A∪B)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



Retrieved from "http://www.maths.kisogo.com/index.php?title=De_Morgan%27s_laws&oldid=951"