人一个逻辑函数表达式经简化后，其最简式一定是唯一的。