命题公式真值表的生成与公式类型的机械判定

命题公式真值表的生成与公式类型的机械判定命题公式真值表的生成与公式类型的机械判定 第20卷第1期 2006年1月 甘肃联合大学学报(自然科学版) JournalofGansuLianheUnivers