Logic 对f（a，b，c）简化并应用德莫根定律

给定这个函数

F(a,b,c) = aba + c’ab + c’b’ + c’b + b’cb + abc 

请尽量简化它

使用德摩根定律找出

F（a，b，c）

的补码

F（a，b，c）

我简化了它，得到了这个答案

=c'+ab

但我不确定这是否正确

以下是我的步骤：

F(a,b,c) = *aba* + c’ab + c’b’ + c’b + *b’cb* + abc 
= *ab* + abc’+ abc + c’(b’+b) + *c(0)*  
= *ab* + ab(c’+ c )+ c’(1) + 0
= *ab* + ab(1)+ c’ 
= *ab* + c’

然后我应用德摩根定律 这是我的答案，任何人都可以检查它，因为当我试图简化它时，我得到了错误的答案，即使我使用真值表检查它：

F'(a,b,c) = aba + c’ab + c’b’ + c’b + b’cb + abc 
=(aba + c’ab + c’b’ + c’b + b’cb + abc)’
= (aba )’. (c’ab )’.( c’b’ )’. (c’b )’. (b’cb)’ . (abc)’
by distribute the not ’
=(a’+b’+a’) . (c+a’+b’) . (c+b) . (c+b’) . (b+c’b’) . (a’b’c’) 

---

它与Mathematica（相对于数学）有什么关系？请注意，您只是简化了原始函数，而不是它的补充函数。请说明如何计算简化函数的补码。