Los enunciados ( C-7 ) y ( C-8 ) se conocen como "leyes de De Morgan".