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