Si la conversión
accidental fuera
correcta, entonces
el diagrama debería
quedar asi:
Ningún A es B y
Algún B no es A.