四值与非门相关论文