boolean-algebra - 如何简化长表达式

Question

~ 表示非，+ 表示或

我想用布尔定律简化以下内容-

~A~B~C~D + ~A~B~CD + ~A~BCD + ~AB~CD + ~ABC~D +~ABCD + A~B~CD + A~BC~D + AB~CD + A B C D

所以我把它简化到 ~A~B~C + ~ABC + A~BC~D + DB~C + A~CD + ABD + ~A~BCD

但是我找不到将其简化为从 K-map 方法中找到的形式的方法，即：

~A~B~C + ~ABC + A~BC~D + ~AD + BD + ~CD

我看到前三个变量相等（~A~B~C + ~ABC + A~BC~D），但我不知道如何简化

DB~C + A~CD + ABD + ~A~BCD

进入

~AD + ~BD + ~CD

Answer 1

你的答案似乎是错误的。我使用 4 变量 K-map 进行了尝试。我得到了 -

A`B`C`+ A'BC+ AB'CD'+ C'D + A'D + A'CD