任何一个逻辑函数据的最小项表达式一定是惟一的。