问答题计算题

用等值演算法判断以下公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值。
¬(p∧q→q)

您可能感兴趣的试卷