约束项在函数化简时可以当作，是因为在实际电路中，这种输入组合根本不可能会让其发生