将语句“除非小王来,否则小李不去”翻译成命题公式