（P-q）^（r-s)^(非q v 非s)-非p v 非r 这是什么推理形式.用命题演算证明该推理.构造符合该推理形式

用p'表示非p,
p-q=p∧q',
原式=p∧q'∧r∧s'∧(q'∨s')∧(p'∨r')'
=p∧r∧(q'∨s')∧p∧r(吸收律,德-摩根律)
=p∧r∧(q'∨s').