标签：对一个逻辑表达式采用公式化简法，得到的最简与或表达式不一定相同