La fórmula lógica que se suele usar para establecer si un año es bisiesto sería cuando codice_1 es verdadera, pero esta otra codice_2 sería más eficiente.