考点：模态判断的对当关系、负判断
“可以互推”意思是与原判断等值。
忽略模态词，¬p∧¬q等值于¬(p∨q)，故◇(¬p∧¬q)等值于◇¬(p∨q)；
根据同素材模态判断之间的对当关系，可能非p等值于不必然p，故◇¬(p∨q)等值于¬□(p∨q)。
可以互推。
