我有两个逻辑输出，我知道它们在逻辑上是等价的(使用SAT解算器证明(。现在我从两个信号中选择相同的比特。我可以说，既然完整的信号是等价的，那么子信号也将是等价的吗？
例如。N比特信号——signal-1和signal-2——这两者在逻辑上是等价的。现在我从信号-1提取0:1，从信号-2提取0:1。现在我想知道这两个新信号的等价性。我可以肯定地说，这些将是等价的吗？
我认为它们是等效的，如果我错过了什么，请告诉我，或者在任何情况下都可能不同。
想想这个对位词。如果sig1[1:0]是而不是等价于sig2[1:0]，您的解算器会说sig1 == sig2吗？
根据这一论点，以及对多位信号等效性的"标准"解释，我认为等效性如下。这是假设你有一个两级逻辑公式(即，只有0-1(，而不是在电路的形式等价检查中有时发现的3或4值逻辑。但即使在这种情况下，你也应该能够提出上面的相反论点。