Algoritmo bisiesto
De Wikipedia, la enciclopedia libre
Un año es bisiesto si es divisible por 4, excepto aquellos divisibles por 100 pero no por 400, es decir los años 00,por ejemplo 2000
En programación, el algoritmo bisiesto es un algoritmo muy útil para la realización de calendarios. Ahora, viendolo desde el punto de vista de la logica proposicional se resolveria: Sea:
p: Es divisible entre 4 q: Es divisible entre 100 r: Es divisible entre 400 teniendo en cuenta la ley de formacion de un año bisiesto quedaria la formula [p y ¬q] ó [r] y al hacer el metodo programado en C# if ((year % 4 == 0 && year % 100 != 0) || year % 400 == 0) return true;//si se cumplen esas condiciones retornar verdadero return false;//si no retornar falso.