最小化布尔表达式NP-Complete？

我知道布尔可满足性是NP-Complete,但它是布尔表达式的最小化/简化,我的意思是以符号形式给出一个给定的表达式,并以符号形式生成一个等价但简化的表达式,NP-Complete？我不确定从可满足性到最小化的减少,但我觉得可能存在.有人有确切消息么？

那么,看看它是这样的:使用最小化算法,你可以将任何不可满足的表达式压缩到文字false,对吧？这有效地解决了SAT问题.因此,至少需要一个完整的最小化算法NP完全问题 NP难.