逻辑表达式的基本恒等式和从真值表导出逻辑表达式？
Posted
技术标签:
【中文标题】逻辑表达式的基本恒等式和从真值表导出逻辑表达式？【英文标题】：Basic identities of logical expressions and deriving logical expressions from truth table? 【发布时间】：2012-11-17 13:32:09 【问题描述】：我想知道逻辑表达式的基本身份是什么以及如何获得它。我在 google 上查看过，但找不到任何关于它的信息。
比如说我有一个逻辑表达式~(~(P ^ ~(P ^ Q)) ^ ~(Q ^ ~(P ^ Q))) 下面是我从真值表中得到的结果，我不知道如何处理它来获得基本身份。
0
1
1
0
还有，我有一个真值表，但我不知道如何从中导出逻辑表达式。
P Q R F
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
【问题讨论】：
【参考方案1】：有了真值表后，创建 DNF 公式就很简单了。看看任务在哪里是正确的。然后你最终得到（感叹号表示否定）
(P & !Q & R) OR (P & Q & !R) OR (P & Q & R).
【讨论】：
以上是关于逻辑表达式的基本恒等式和从真值表导出逻辑表达式？的主要内容，如果未能解决你的问题，请参考以下文章