Question

1、求公式((p\/q)——>r)----->p的析取范式和主析取范式

Answer 1

1.((p/q)→r)→p=┐(┐(p/q)∨r)∨p=((p/q)∧┐r)∨p=((p/q)∨p)∧(┐r∨p)=(p/q)∧(┐r∨p)=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∧r )/ (p∧┐q∧┐r )/ (┐p∧q∧┐r)(主析取范式)2. 哈斯图