问答题 用多种方法判定命题公式（P→（P∧Q））∨R是否为可满足式。

问答题 一个集合上的自反和对称关的关系称为相容关系，设A是人的集合，ρ是集合A上的关系，定义为当且仅当a是b的朋友时，有aρb，试证明ρ是A上的相容关系。

问答题 设命题P，Q的真值为F，命题R，S的真值为T，求公式（PR）∧（￢Q∨S）的真值。