我是命题逻辑和布尔表达式的新手。所以这就是我需要帮助的原因。这是我的问题： 在汽车行业，当您购买汽车时，有数千种不同的组件可供选择。不是每个组件都是可组合的，所以对于每辆车来说，都存在许多用命题逻辑...

我有布尔公式 A 和 B，想检查“A -> B”（A 暗示 B）在多项式时间内是否为真。 对于完全通用的公式 A 和 B，这是 NP 完全的，因为“A -> B”为真“与”不（A -> B）“相同。...