真值表原理相关硕士博士期刊学术论文

该文基于真值表原理,提出了工本真值矩阵了、的生成和输出、计算和输出给定命题公式的真值、判断论证的有效性等算法,并开发了一个......