4
确定实现布尔表达式所需的NAND / NOR门的最小数量
是否有任何算法可以确定带有NAND或NOR门的最小数量 给定数量的输入 补充输入的可用性/不可用性 实现布尔表达式所需的吗?我们可以通过Karnaugh映射获得最小的AND-OR形式作为素数蕴含量(据我所知,Quine-McCluskey算法确定性地获得了它们)。对于NAND或NOR实现,是否也存在类似的技术?至少,即使没有找到实际的图,这种技术也应该确定所需的NAND / NOR门的最小数量? 在主要牵涉者上应用德摩根定律似乎不是确定性的, A ⊕ B = A'B + AB' = ((A'B)'(AB')')' [5 NAND gates] A ⊕ B = (AB + A'B')' = ((ABAB+ABB') + (A'AB+A'B'))' = (AB(AB+B') + A'(AB+B'))' = ((AB+A')(AB+B'))' = (((AB)'A)'((AB)'B)')' [4 NAND gates by reusing (AB)']