如何简化实质含义？答案

【问题标题】：How to simplify material implication?如何简化实质含义？
【发布时间】：2021-03-12 13:33:50
【问题描述】：

你知道物质蕴涵的真值表是：

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) )，你能告诉我通过哪些步骤可以从第一个表达式中获得第二个吗？

谢谢。

【问题讨论】：

标签： logic boolean-logic boolean-operations

【解决方案1】：

(~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)

【讨论】：