“Se O allora H e se H allora M e solo se M allora N”. Se la precedente

affermazione è vera, allora è certamente vero che:

A) se non M allora non O

B) se N allora H

C) se N allora O

D) se M allora O