De manera similar, se comprueba la otra ley de De Morgan, que formula_63.