程序判定合式公式