Logic 查找仅带AND、OR和NOT门的布尔电路

我试图找到一个带有AND、OR和NOT门的布尔电路，只用来计算&（a）的布尔函数→ （B）∧ （C）→ A） ）。我的尝试是：

---

我把箭头放在两个关节上（我相信的地方）→ 或者暗示“在函数中进行”）是我想问的关于如何在电路中表示它的问题？请指导我，如果我在正确的轨道上，因为我是新的这一点。谢谢。

您不能在地图上表示这些点：顶部的点是非法的，因为它将输入连接到中间输出，而底部的点将两个输入连接在一起

一种方法是替换隐含X→ Y及其逻辑等价物X∨ Y，并简化结果：

（）∨ （B）∧ （-C）∨ A） )

---

解决此问题的另一种方法是为表达式构造一个真值表，将其放在a中，然后读取由and、OR和NOT组成的简化表达式（。

初始表达式：，（）→ （B）∧ （C）→ A） )

让我们把它分解一下：A→B=-AvB 将其应用于表达式：

（-Av-B）∧（CvA）

符号的定义：

、=非v=或∧ = 及

现在我们需要分解这个表达式：

NOT Out The方括号意味着对方括号内的所有内容应用NOT操作（本质上是反转值）。我们现在可以忽略这一点，而将重点放在方括号内的内容上。新表达式：

（-Av-B）∧（-CvA）

同样，这是由另外两个子表达式和方法构成的，将and运算应用于（-Av-B）的结果和（-CvA）的结果。为此，我们需要为括号中的每个表达式定义逻辑电路

以（-Av-B）开头：

下一步，我们发现（CvA）：

现在我们已经定义了它们，我们可以回到原始的子表达式（Av-B）∧（，-CvA）。现在这告诉我们使用AND门组合逻辑电路的输出。为了更容易理解，让我们让（，-Av-B）=E和（-CvA）=F，现在我们有了表达式E∧F或E和F。见下图。

现在我们已经为表达式（Av-B）创建了一个逻辑电路∧（CvA）我们可以称之为G。我们最初的表达是（（-Av-B）∧（CvA）可定义为（G）或非（G），对我们刚刚制作的逻辑电路的输出进行逆变（或应用非门）。见下图：

正如您所见，创建逻辑电路有多个“抽象”层，这些抽象层由括号定义，用于分隔表达式。这有何帮助。下面是一些可能帮助您的进一步阅读链接：

布尔代数：维基：

卡诺图：