求范式:利用等值演算法计算命题公式

8）((p↔q)→┐(p∨q)((p→q)∧(q→p))→┐(p∨q)┐((┐p∨q)∧(┐q∨p))∨┐(p∨q)(┐(┐p∨q)∨┐(┐q∨p))∨(┐p∧┐q)((┐┐p∧┐q)∨(

用≡代替＜＝＞.用∟表示“否定”((p∨q)→r)→p≡∟（（p∨q）→r）∨p≡∟（∟（p∨q）∨r）∨p≡（（p∨q）∧∟r）∨p≡（p∧∟r）∨（q∧∟r）∨p≡（p∧q∧∟r）∨（p∧∟q∧∟

(p∨q)→(p∧r)　　┐(p∨q)∨(p∧r)　　(┐p∧┐q)∨(p∧r)　　(((┐p∧┐q)∧r)∨((┐p∧┐q)∧┐r))∨(((p∧r)∧q)∨((p∧r)∧q))　　(┐p∧┐q∧r

(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∧q∧r)((﹁

PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为（-P∧-Q∧-R）V(

如下图所示,点击放大.其中用到的等值式在书上都有,若有疑问,请追问.

主要是通过加括号和去括号,通过利用p∨┌p=1,1∧（……）=（……）,最后化成（合取式）V（合取式）V（合取式）的形式,也就是主析取范式了.

可以用真值表求.根据蕴含式A→B的真值的情形,只有A真B假时才为假,所以(P∨Q)→(R∨Q)成假只有当P∨Q真,R∨Q假时,此时P真Q假R假,即成假赋值只有100,对应的极大项是M4,所以主合取范式

非“主析联范式”而是“主析取范式”.这种例子教科书上有的,翻翻书,用上常用的命题等价式,依样画葫芦即可.　　(p∧q)∨r　　(p∨r)∧(q∨r)　　((p∨q∨r)∧(p∨﹁q∨r))∧((p∨q

=.=不用演算了,主合取范式就是这个

(┐p→q)→(q→┐p)┐(p∨q)∨(┐q∨┐p)(┐p∧┐q)∨(┐q∨┐p)(┐p∨(┐q∨┐p))∧(┐q∨(┐q∨┐p))(┐p∨┐q)∧(┐q∨┐p)┐p∨┐q为非重言可满足式.

-p∨(q→r)-p∨(-q∨r)-p∨-q∨r-(p∧q)∨r(p∧q)→

比如等值式：A∧TA,把T换为F,∧换为∨,得A∨FA再问：T和F怎么理解？什么意思？再答：false，true，就是真值0和1

我们已知：p->q┐pvq左边┐（pq）┐((p->q)^(q->p))┐((┐pvq)^(┐qvp))┐(┐pvq)v┐(┐qvp)(p^┐q)v(q^┐p)右边(pvq)^(┐pv┐q)(p^(┐

p->(q->p)pV(qVp)(p)V(q)VppV(p)V(q)pV(pVq)pV(p->q)p->(p->q)

2、能够对命题公式的类型做出判断,能列出真值表,写出主范式.3、有能力命题的

如果是金属,那么一定导电的等值命题,有,且只有以下三个命题1.¬p←¬q.只有非金属,才不导电2.¬p∨q是非金属或者导电3.¬(p∧¬q)并非既是金

主析取：m1vm3vm5vm6vm7主合取：M0^M2^M4可以用真值表法或是等值演算法.

主析取范式是由极小项之和构成的,命题公式化简出来的主析取范式中包含的极小项,其下标对应的指派得到的命题公式的真值应该为1.　　主合取范式由极大项之积构成,命题公式等价的主合取范式中包含的极大项,其对应

(P->Q)R((P-->Q)-->R)且(R-->(P-->Q))(非(非P或Q)或R)且(非R或(非P或Q))((P且非Q)或R)且(非R或非P或Q)(P或R)且(非Q或R)且(非R或非P或Q)(