Formulas truth function degree generated based on Π system
LI You-yu,ZHANG Xing-fang,LI Cheng-yun
Computer Engineering and Applications . 2009, (15): 39 -40 .  DOI: 10.3778/j.issn.1002-8331.2009.15.011