问答题 判断P→（Q→R）P∧Q→R成立（用真值表法、等值演算法和范式法）。

问答题 一个集合上的自反和对称关的关系称为相容关系，举出一个相容关系的例子。

问答题 证明如果A∅且A3=A，那么A2=A。