9-36 如何区分逻辑函数式中的约束项、任意项和无关项?