entˈonθes se ˌutilˈiθa la fˈoɾmula lˈoxika pˌaɾa ˌestaβleθˈeɾ si ˈun ˈaɲo ðˈaðo ˈes βisjˈesto: ˈes βisjˈesto si ˈes ðˌiβisˈiβle ˌentɾe kwˈatɾo i nˈo ˈes ðˌiβisˈiβle ˌentɾe θjˈen o ˈes ðˌiβisˈiβle ˌentɾe kwˌatɾoθjˈentos.
Entonces se utiliza la fórmula lógica  para establecer si un año dado es bisiesto: es bisiesto si es divisible entre cuatro y (no es divisible entre 100 o es divisible entre 400).