0 de morgan\'s theorem | Definition of de morgan\'s theorem