浅谈逻辑函数中的任意项、约束项与无关项
천담라집함수중적임의항、약속항여무관항