3.3.3　农历日表示和转换

对于农历日，常用的四种表示方法包括序数法、干支系统、月相法和中国传统节日。基于干支系统的农历日表示方法采用六十种干支组合来表示农历日。这种计日方法是迄今为止世界上历史最长的计日方法。在每个农历月，月亮有若干特殊的阶段，用来表示农历日。这些阶段包括朔（即新月）、望（即满月）和晦（农历月的最后一天）。月相表示法主要表示每月中三日。对于涉及月相的每个时间点t，使用函数moon-phaseFn（t）来表示t所在的月相。有以下关于月相的事实：

a）（moon-phaseFn（t）＝Shuo）↔（dayFn（t，lunar）＝1）

b）（moon-phaseFn（t）＝Wang）↔（dayFn（t，lunar）＝15）

c）（ly＝yearFn（t，lunar））∧（lm＝monthFn（t，lunar））

∧（moon-phaseFn（t）＝Hui）

↔（dayFn（t，lunar）＝last-lunar-dayFn（ly，lm））

中国的主要传统节日包括春节或农历新年、端午节、中秋节、重阳节等。函数Chinese-festivalFn（t）用于表示t所在的中国节日。例如，

（Chinese-festivalFn（t）＝Spring Festival）∨（Chinese-festivalFn（t）＝Chinese New Year）↔（monthFn（t，lunar）＝1）∧（dayFn（t，lunar）＝1）