问答题
用主合取范式判断以下公式是否等值: p→(q→r)与¬(p→q)→r
问答题 用主合取范式判断以下公式是否等值: p→(q→r)与¬(p∧q)∨r
问答题 给出下图的关联矩阵。
问答题 以集合A的幂集ρ(A)为载体,以集合并、交、补为其二元运算和一元运算组成一代数结构,记为〈ρ(A),∪,∩〉