用De Morgan定律简化布尔表达式

-3

我需要用De Morgan's laws来简化这个布尔表达式。用De Morgan定律简化布尔表达式

¬c xor (¬b ∨ c)

有人可以帮我吗？

来源

2012-03-20 mik

你自己做作业。这是超级简单的... – ThiefMaster 2012-03-20 21:35:11

加油。 Stackoverflow不是人们会为你做功课的地方。你有什么尝试？你对摩根法律有什么不了解/了解？ – JohnnyK 2012-03-20 21:28:38

我对摩根法律一无所知，这就是我要求对手帮助的原因 – mik 2012-03-20 21:36:39

（小心让两个账户，所以只用这一个响应）

我发现最好的方式来形象化你不明白的逻辑公式是为它制作一个表格。

在XOR的情况下，它代表一个变量或另一个变量，但不是两个变量。因此，让我们为A XOR B制作一张桌子

A | B |结果

T | T | F * 1
T | F | T * 2
F | T | T * 3
F | F | ˚F * 4

以生成最小可能的结果从上面的表格我们可以先采取的最复杂的结果，考虑到每个选项。将每一行转换为逻辑语句相当简单。

首先，抛出任何导致False的结果，然后将那些结果为真的结果转换为由'OR'分隔的逻辑语句。在这种情况下，1和4是错误的，2和3是真实的。这意味着我们只需要为2和3创建逻辑语句。我认为如何做到这一点最好通过示例来解释

可以说X，Y和Z是我们的变量，并且表格给了我们以下行如同：
T | T | F - X & Y &¬Z
F | T | F - ¬X& Y &ØZ
F | F | ˚F - ¬X&¬Y&¬Z

即可完成，我们只是 '或' 在一起

（X &Ÿ&¬Z）V（¬X&Ÿ&¬Z）V （¬X&¬Y&¬Z）

正如您所见，变量为true，将变量直接放入其中，并将其置于false的位置，则将'¬'放在变量之前。以上声明基本上说...OR（当X = F时为真，Y = T，Z = F：否则为假）OR（当X = F时，为真Y，Y = T时为真，Z = F时为真，Y = = F，Z = F：假以其他方式）

所以最后把它回到我们的XOR表行是...

* 2 一个&¬B
* 3¬A&乙

并组合成为...

（A因此，现在您已经解释了如何处理xor，您可以将这个示例应用于您的问题，并提出一个可以使用的逻辑语句De（）摩根的法律将简化。

来源

2012-03-20 23:04:54 Zork

首先，我试图用德摩根定律来解决这个问题。这是我第一次遵守这些法律，我不知道我的结果是否属实？ c'xor（b'+ c）我不知道如何继续解决表达式 – mik 2012-03-20 23:52:09

德摩根定律最终只是将一个否定变成了一个括号。它们有助于重新排列方程式，以便您可以取消无用的逻辑（例如：A＆B＆A与A＆B相同，并且A＆A始终为False）。 http://en.wikipedia.org/wiki/De_Morgans_laws – Zork 2012-03-21 00:04:15

我尝试这个c'xor（b'+ c），并且我不知道如何继续表达， – mik 2012-03-21 00:16:34

首先你必须把xor分解成它的基本形式。

XOR代表A或B，其中A！= B，如果你能做到，你应该使用在整个方程式demorgans有更多的运气

来源

2012-03-20 21:31:02 Zork

你能帮我解释一下如何做到这一点吗？ – mik 2012-03-20 21:35:22

用De Morgan定律简化布尔表达式

回答

相关问题