>>349
じゃあ(p∨s)→((q∧(〜r)))なります

何がおかしいのですか?