【判断题】
用真值表判断公式“(p?q) ? (?q??p)”的类型为重言式。
【判断题】
用真值表判断公式“(pùr) ? ( ?pù?q)”的类型为重言式。
【判断题】
用真值表判断公式“p? (púqúr)”的类型为重言式。
【判断题】
用等值演算法判断公式“(p? (púq)) ú (p?r)”的类型为重言式。
【多选题】
用等值演算法推导公式“(pù?q) ú (qù?p)”和下面哪个公式等价:
【多选题】
用等值演算法推导公式“(pùq) ú (pù?q)”和下面哪个公式不等价:
【判断题】
用等值演算法推导公式“(pùq) ú (pù?q)”和公式p相等价.
【多选题】
公式“p-q”和下面哪个公式等价的有:
【判断题】
判断公式“x$yF(x, y) ? $xyF(x, y)”的类型为重言式。