En que se ha establecido que ni A ni B es cierto, entonces debe seguir que tanto A no es verdad como B no es verdad, que puede ser escrito directamente como: