主范式运算相关硕士博士期刊学术论文

研究了极小项、极大项的运算性质,给出了一组运算公式,利用这些运算公式可以使求命题公式的主范式运算更简洁.......