关于仅用XOR门实现2位数值相等比较器的可行性及实现方法咨询

核心结论 #

仅使用XOR门无法构建2位数值相等比较器，原因在于XOR门属于功能不完全逻辑门，只能生成线性布尔函数，而2位相等检测的逻辑包含非线性的AND操作，无法通过XOR门的组合实现。

详细推导 #

1. 单比特相等检测的逻辑 #

单比特数值相等（A==B）的逻辑等价于XNOR门的输出：当A、B相同时输出1，不同时输出0。而XNOR可以通过XOR门结合固定输入实现：XNOR(A,B) = XOR(XOR(A,B), 1)——将XOR的输出与固定高电平1再次XOR，等价于对XOR结果取反，这一步是可行的。

2. 2位相等检测的逻辑 #

2位数值相等要求两位都分别相等，即：
Equal = (A1==B1) AND (A0==B0)
其中A1、B1是高位，A0、B0是低位。只有当两个单比特相等信号同时为1时，整体输出才为1，表示两位数值完全相等。

3. XOR门的局限性 #

XOR门只能实现线性布尔函数（可表示为输入变量的XOR组合，无变量乘积项），而AND操作属于非线性布尔函数（存在变量乘积项）。仅用XOR门无法生成AND、OR这类非线性逻辑，因此无法将两个单比特相等信号的结果进行与运算，也就无法完成2位相等检测的整体逻辑。

补充：关于构建NOT/OR/AND门的问题 #

• NOT门：可以用XOR门实现，只需将其中一个输入接固定高电平1，即NOT(x) = XOR(x, 1)
• OR/AND门：无法仅用XOR门实现，因为它们属于非线性布尔函数，超出了XOR门的功能覆盖范围。

内容的提问来源于stack exchange，提问作者fummal12