Ley de D´ Morgan 

Ley 1

 la negación de Y es lógicamente  a 0 de costa una de las proposiciones similares negadas

Ley 2

la negación de o es lógicamente equivale a Y de cada una de las preposiciones simples negadas