简化布尔表达式示例答案

【问题标题】：Simplify boolean expression example简化布尔表达式示例
【发布时间】：2017-08-22 10:40:51
【问题描述】：

我有以下布尔值来简化

(A'C'D')+(A'B'D')+(A'BC')+(A'BD)

我得到的最远的是，

A'C'(D'+B)+A'，它来自于分解一个 A' from A'B'D'+A'BD。还有什么可以做的吗？我一直在尝试不同的东西，但我不能再简化它了。

【问题讨论】：

我可以建议您使用卡诺图en.wikipedia.org/wiki/Karnaugh_map 吗？
我实际上是从 kmap 得到的，即 F(A,B,C,D)= A'B'C'D'+AC'D'+B'CD'+A' BCD+BC'D 。我最终得到 (A'C'D')+(A'B'D')+(A'BC')+(A'BD) 或 (A'C'D')+(A'BC' )+A'。这会是我的答案吗？我试图看看它是否可以再简化
卡诺图总是会给你最简单的结果。

标签： boolean-logic boolean-expression

【解决方案1】：

其实你应该可以简化原来的表达方式

¬a·¬c·¬d + ¬a·¬b·¬d + ¬a·b·¬c + ¬a·b·d

到这些最小形式之一：

¬a·(b + ¬d)·(¬b + ¬c + d)
¬a·¬b·¬d + ¬a·b·¬c + ¬a·b·d

它旁边的给定表达式是卡诺图中的最小 DNF 和最小 CNF（使用乳胶生成）：

您也可以通过应用布尔代数定律来检查它：

¬a·¬c·¬d + ¬a·¬b·¬d     + ¬a·b·¬c + ¬a·b·d
¬a·¬b·¬d + ¬a·¬c·¬d     + ¬a·b·¬c + ¬a·b·d        //just permuting
¬a·¬b·¬d + ¬a·¬c·(¬d    +      b) + ¬a·b·d        //distributivity
¬a·¬b·¬d + ¬a·¬c·(¬b·¬d +      b) + ¬a·b·d        //distributivity
¬a·¬b·¬d + ¬a·¬c·¬b·¬d  + ¬a·¬c·b + ¬a·b·d        //distributivity
¬a·¬b·¬d                + ¬a·¬c·b + ¬a·b·d        //absorption

¬a·¬b·¬d + ¬a·b·¬c + ¬a·b·d                       //minimal DNF

¬a·¬b·¬d  + ¬a·b·d                      + ¬a·b·¬c //just permuting
¬a·(¬b·¬d +    b·d                      + b·¬c)   //distributivity
¬a·((¬b + b)·(¬b + d)·(¬d + b)·(¬d + d) + b·¬c)   //distributivity
¬a·(     (1)·(¬b + d)·(¬d + b)·(1)      + b·¬c)   //complementation
¬a·(         (¬b + d)·(¬d + b)          + b·¬c)   //identity for ·
¬a·(  (¬b + d + b·¬c)·(¬d + b + b·¬c))            //distributivity
¬a·(  (¬b + d +   ¬c)·(¬d + b + b·¬c))            //distributivity
¬a·(  (¬b + d +   ¬c)·(¬d + b))                   //absorption

¬a·(¬b + ¬c + d)·(b + ¬d)                         //minimal CNF

【讨论】：