Si es cierta o, ZF se pone a 1; si no se pone a 0.