离散数学:符号化问题除非天下大雨,否则他不在室内运动。只有天下大雨,他才在室内运动。如何理解?如何符号化?