计算机逻辑相关论文
引入周期BZ-代数和BZ-代数的周期部分概念，研究了闭理想和周期零对称BZ-代数的关系。得到如下主要结果：设（X；＊，0）为零对称BZ-代数，P（X）={x∈X......
给出了一个基于真值表原理进行逻辑论证的有效性判断的简化算法.此算法可以减少手工列真值表判断的计算量，也可由计算机直接实现.......
