自学中遇到问题了，求解答。 - 离散数学吧

level 6

今天也要拆快递楼主

就是画长长的红线的这个，怎么求它的主析取范式？

　　　--我不完美，但我很美。

2014年05月17日 08点05分 1

level 9

sisirunj

先画出真值表来，根据真值表，很容易得到主析取范式的

2014年05月17日 17点05分 2

今天也要拆快递

真值表法倒是会，我想用一下那个一步步推出来的

2014年05月17日 23点05分

sisirunj

回复穆承扬 :这种方法我还真没用过，因为觉得太麻烦了。而且不适合计算机系统化求出

2014年05月18日 01点05分

今天也要拆快递

回复 @wanghexiaozi ：哥们真理智，赞一个。 [真棒]

2014年05月18日 03点05分

level 9

sisirunj

今天专门为了这个看了一下。
不用真值表的话这么求。

2014年05月18日 11点05分 3

level 9

sisirunj

不过太复杂，这样肯定不行，没几下就写晕了，而且用到分配律时，工作量成指数倍增大。只是理论可行。
虽然真值表的工作量也大，但是好在清晰。不容易出错。
而且范式的目的，本身就是为了规范，给计算机使用。所以用计算机求取真值表，得出析取范式就再合适不过了。

2014年05月18日 11点05分 4

今天也要拆快递

谢谢你啊，真是麻烦你了。我明白了。

2014年05月18日 11点05分

sisirunj

回复穆承扬 :没关系，相互学习

2014年05月18日 13点05分

level 10

Poison_2010

Hi,
@wanghexiaozi 同学的方法是通用的方法，计算机求解的方法，非常到位的解答。我补充另一种方法，也可以很快通过手工求出主析取范式。
这道题，如果直接用三楼的方法去解，无非是很复杂。但通过等值演算之后却变得非常简单了。你可以将此命题公式通过4次等值演算（蕴含等值式、幂等律）为一个极大项，然后反过来求它的极小项即可。
楼主不妨试试。

2014年05月20日 02点05分 5

今天也要拆快递

虽然我目前的水平还不太懂，但是看到后面的话书上会有这些内容吧，谢谢你啊

2014年05月20日 05点05分