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