Dizer que "Ana não é alegre ou Beatriz é feliz" é do ponto de vista lógico, o mesmo que dizer: