如何简单地 (AB')' 或 (ABC')'？
How to simply (AB')' or (ABC')'?
卡在计算机体系结构 I：数字设计问题的一个方面，不确定如何简化 (ABC')' 甚至 (AB')。
不确定是否可以应用任何公理或定理，或者 (ABC')' [或 (AB')'] 是否是最简化的形式。有人可以确认吗？
您可以将 (ABC')' 拼写成 A' + B' + C；类似地，(AB')' 是 A' + B（根据德摩根定律）。这些是 disjunctive normal form.
扩展 Amadan 所说的内容：
(AB')' + (ABC')'
A' + B + A' + B' + C DeMorgan applie twice
A' + A' + B + B'+ C commutativity of disjunction
A' + B + B' + C x + x = x
A' + 1 + C x + x' = 1
1 + C x + 1 = 1
1 1 + x = 1
经过深思熟虑，这一定是这种情况，因为 B 必须为真或为假，并且这些值中的每一个都使原始术语中的一个或另一个为真。
卡在计算机体系结构 I：数字设计问题的一个方面，不确定如何简化 (ABC')' 甚至 (AB')。
不确定是否可以应用任何公理或定理，或者 (ABC')' [或 (AB')'] 是否是最简化的形式。有人可以确认吗？
您可以将 (ABC')' 拼写成 A' + B' + C；类似地，(AB')' 是 A' + B（根据德摩根定律）。这些是 disjunctive normal form.
扩展 Amadan 所说的内容：
(AB')' + (ABC')'
A' + B + A' + B' + C DeMorgan applie twice
A' + A' + B + B'+ C commutativity of disjunction
A' + B + B' + C x + x = x
A' + 1 + C x + x' = 1
1 + C x + 1 = 1
1 1 + x = 1
经过深思熟虑，这一定是这种情况，因为 B 必须为真或为假，并且这些值中的每一个都使原始术语中的一个或另一个为真。