(∼"P"∨"Q")⇒"R"