标签：：逻辑函数的代数法化简与变换自我检测B、B