排序方式: 共有4条查询结果,搜索用时 6 毫秒
1
1.
通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果. 相似文献
2.
3.
4.
1