判定“(P∨Q)∧(P→R)∧(Q→R)⇒R” ### 题目描述 编程判定蕴含关系式(P∨Q)∧(P→R)∧(Q→R)⇒R是否成立。禁止采用手工演算得出结论，再用输出语句输出yes或no。 ### 输入描述 无输入。 ### 输出描述 如果蕴含关系成立，输出yes，否则输出no。 ### 知识点 - 命题的真值 - 蕴含 - 枚举