白逻辑存在的充要条件| IEEE会议出版物| IEEE Xplore