多数表决电路

多数函数 Y = AB + BC + AC。用 De Morgan 定理改写为 Y = NAND(NAND(A,B), NAND(B,C), NAND(A,C))，正好是三个两输入与非门加一个三输入与非门。多数表决用于容错系统（三模冗余），也正是全加器进位输出的逻辑表达式。