Ok ok ho risolto, i vari cicli erano fatti bene, era solo questione delle variabili bottone=0 e che col not dovevo controllare se erano diventate pari a 1, quindi dovevo ragionare in logica negata, piuttosto che in logica "non negata"