确定布尔函数素蕴涵的数值方法| IEEE期刊和杂志| IEEE Xplore