율리우스력
De Morgan's rules no. 1 and 2 for the Julian calendar: