Logic 如何简化实质含义?

Logic 如何简化实质含义?,logic,boolean-logic,boolean-operations,Logic,Boolean Logic,Boolean Operations,你知道实质含义的真值表是: A | C | Y = A --> C 0 | 0 | 1 0 | 1 | 1 1 | 0 | 0 1 | 1 | 1 从这张表我们可以推断 A --> C = Y = ~A~C + ~AC + AC (where ~X stands for NOT X) 但众所周知 A --> C = ~(A~C) 我无法将第一个表达式(~A~C+~AC+AC)简化为第二个表达式(~(A~C)),您能告诉我

你知道实质含义的真值表是:

A | C | Y = A --> C
0 | 0 |       1
0 | 1 |       1
1 | 0 |       0
1 | 1 |       1
从这张表我们可以推断

A --> C = Y = ~A~C + ~AC + AC   (where ~X stands for NOT X)
但众所周知

A --> C = ~(A~C)
我无法将第一个表达式(~A~C+~AC+AC)简化为第二个表达式(~(A~C)),您能告诉我通过哪些步骤可以从第一个表达式中获得第二个表达式吗

多谢各位

(~A~C + ~AC + AC)
(~A~C + ~AC) + AC
~A(~C + C) + AC
~A(T) + AC
~A + AC
~~(~A + AC)
~((~~A)~(AC))
~(A~(AC))
~(A(~A + ~C))
~(A~A + A~C)
~(F + A~C)
~(A~C)