标签：若两个函数具有不同的逻辑函数式，则两个逻辑函数必然不相等