好吧，我有一个等价物，我必须证明。这些等价使用双条件和布尔代数。但我不确定我应用逻辑等价定律的顺序。
编辑：
这是一个任务。几天来，我一直坚持下去，在不同的时间得到不同的答案。
-(p V (q ^ -r)) ^ q == (-p ^ q) ^ r
我不一定希望任何人解决它，我希望他们以通用的方式解释他们将如何解决它以及他们适用法律的顺序。这样我就可以从中学习。
问问题
3585 次
2 回答
2
好吧，只有这么多等价物可以解决。通过这些类型的课程和数学课程，通常你在工具箱中没有一些技巧可以这么说。德摩根定律等。一章可能会提到 4-5 条规则，你绝对应该尝试所有这些。
如果您只在一个方向上处理方程式，也可能有助于从另一侧工作。在您获得足够的经验来确定更好的初始猜测之前，这在很大程度上是一种游戏。但是当你玩它时，你会开始看到一些操作来相当接近，然后解决问题来找出你没有看到的 1-2 个操作。即使是我最好的教授也告诉我，你必须在桌子上敲打你的头，直到它起作用。
于 2012-10-17T17:18:08.990 回答
0
-(p V (q ^ -r)) ^ q
-((p V q) ^ (p V -r)) ^ q [通过 V 的分布 ^]
(-(p V q) V -(p V -r)) ^ q [德摩根]
((-p ^ -q) V (-p ^ r)) ^ q [德摩根]
(-p ^ -q) ^ q V (-p ^ r) ^ q [通过 V 的分布 ^]
-p ^ (-q ^ q) V (-p ^ r) ^ q [by assoc of ^]
-p ^ FV (-p ^ r) ^ q [由 A ^ -A == F，其中 F 为假 (0)]
FV (-p ^ r) ^ q [由 A ^ F == F，其中 F 为假 (0)]
(-p ^ q) ^ r [由 A v F == A，其中 F 为假 (0)]
于 2012-12-16T14:50:16.847 回答