计算命题公式的演算

1. 【离散数学数理逻辑（p

常规做法是进行等值演算，过程有点麻烦.也可以用真值表，主析取范式中的每一个极小项mj的下标对应的二进制数（对于本题来说，就是三位二进制了）就是命题公式的成真赋值.所以我们只要找出所有的成真赋值，转换为十进制数，就得到了所有的极小项.（p->r）∧（q->┐r）∧（┐r->(p∨q)） 为真，则p->r、q->┐r、┐r->(p∨q)都为真，一个蕴涵式的成假赋值是唯一的，就是前件为1后件为0时.所以p->r为真时，赋值不可能是100与110,q->┐r为真时，赋值不可能是011与111，┐r->(p∨q)为真时，赋值不可能是000，所以剩下的三个二进制数001、010、101是成真赋值，转换为十进制数是1、2、5，所以主析取范式是 m1∨m2∨m5。

2. 010500X=1~60那个高手给个计算公式

反复演算了一下，计算公式有点复杂： 令：Yo=500 Yn=|Yn-1|+400*n+600*Xn 其中[Xn=|Xn-1|+n-1] 由于不能下标，所以用竖线间隔以示区别，下面可以验证： |Y1|=900=|Yo|+400*1+600*|X1|=500+400+600*0 [X1=0] |Y2|=2300=|Y1|+400*2+600*|X2|=900+800+600*1 [X2=1] |Y3|=5300=2300+400*3+600*(1+3-1) [X3=3] |Y4|=10500=5300+400*4+600*(3+4-1) [X4=6] 依次推出： |Y5|=10500+400*5+600*(6+5-1)=18500 [X5=10] 感觉计算公式还可以进一步精简，谁有兴趣还可以再试试。