Contro-implicazione diretta E' la contro-implicazione diretta ab' corrisponde alla contro-implicazione diretta in logica E' gia' in forma normale disgiuntiva completa