部分二值逻辑中Sheffer函数的构造与判定算法
何 骞,刘任任
Conformational and determinant algorithm on Sheffer function in partial two-valued logic
HE Qian,LIU Ren-ren
计算机工程与应用 . 2010, (5): 28 -30 .  DOI: 10.3778/j.issn.1002-8331.2010.05.009