DeMorgan三元组相关论文