Como formula_34 y formula_61, entonces formula_32, concluyendo la prueba de la ley de De Morgan.