判定“(P⇄Q)∧(P→Q)”的类别 ### 题目描述 编程判断命题合式公式(P⇄Q)∧(P→Q)是永真式、永假式、还是可满足式(可能为T也可能为F)。禁止采用手工演算得出结论，再用输出语句输出。 ### 输入描述 无输入。 ### 输出描述 如果永真式，输出tautology；如果是永假式，输出contradiction；如果是可满足式，输出satisfiable。 ### 知识点 - 永真式 - 永假式 - 枚举