您可以为PTIME中不包含负数的单调布尔表达式确定等效项吗？

是PTIME中的以下问题，还是coNP-hard：

给定变量两个布尔表达式和，它们不带负数（即，这些表达式完全通过和构建）。确定是否对变量的所有赋值都具有相同的值。ë 2 X 1，... ，X Ñ ∧ ∨ ë 1 ≡ ë $e_1$$e_2$$x_1,\dots,x_n$$\wedge$$\vee$$e_1 \equiv e_2$

如果两个表达式都用DNF给出，那么问题就出在PTIME中，因为我们可以首先按字典顺序对连接子句进行排序并进行比较。但是将任意表达式带到DNF可能会成倍增加。类似的观点似乎适用于二进制决策图。

显然，问题在于coNP。

我正在谷歌搜索相当多的内容，但是找不到任何答案。

道歉的基本问题。

[BHR84]的推论3.5显示问题是coNP完全的。

[BHR84] PA Bloniarz，HB Hunt，III和DJ Rosenkrantz。具有硬对等和最小化问题的代数结构。 ACM学报，31（4）：879-904，1984年十月 http://dx.doi.org/10.1145/1634.1639