用欧拉图表示下列概念之间的关系:

《西游记》(A),武快小说(B)，现代小说(C)。

甲国和乙国签订条约,其中约定丙国境内的政府军消灭反政府武装后该条约即终止，该条约属于（）

• A、附终止条件的条约
• B、附终止期限的条约
• C、履行不能的条约
• D、不能合意终止的条约

用真值表来验证p→q，pⱵq是否为有效式。