首页
用等值演算法推导命题公式 的主析取范式。
2024-08-03 22:50:13
离散数学(02324)
用等值演算法推导命题公式
的主析取范式。
【正确答案】:
【题目解析】:利用等值式的运算规律与置换原则转换成主析取范式。
上一篇:
设解释Ⅰ为:个体域D={a,b},F(x)与G(x)为2个一元谓词,且F(a)=0,F(b)=1,G(a)=1,G(b)=0。在
下一篇:
用列真值表的方法说明下列逻辑等价式成立