标签：求一个逻辑函数的反函数可采用对偶定理