(p∨q)→(p∧r) 等值演算判断公式类型