问题标签 [conjunctive-normal-form]

我使用 spacytoken.conjuncts来获取每个标记的合取。

但是，返回类型token.conjuncts是tuple，但我想获取span类型，例如：

有谁知道如何将其转换tuple为span类型？

或者也许我怎样才能直接获得span连词的类型？

我需要spantype 的原因是，我想使用conjuncts (span)来定位这个连词的位置，例如，这个连词属于哪个名词块或一个拆分（无论我用什么方式拆分它们）。

目前，我将tupleto转换str为迭代所有拆分或名词块以搜索拆分/名词块是否包含 this conjunct。

但是，存在一个错误，例如，当一个conjunct（令牌的）出现在多个拆分/名词块中时，定位包含它的确切拆分将是一个问题conjunct。因为我只考虑str而不考虑indexorid的conjunct。如果我能拥有span这个conjunct，那么我就可以定位到这个的确切位置conjunct。

请随时发表评论，在此先感谢！

是子句 { { } } ≡ { } 吗？子句是 CNF 形式的。我试着想了想，所以最终的解决方案，根据我的说法应该是该陈述是正确的。理解是否正确？

我看到了如何将命题公式转换为合取范式 (CNF)？但它没有进入实施细节。所以我很幸运地找到了显示类型的这个：

然后它有这个有用的（开始）功能CONVERT：

我将它翻译成下面的 JavaScript，但被困在 AND 和 OR 位上。我想确保我也得到了正确的。

我的“数据模型”/数据结构的描述在这里。

我有 AND 和 OR 作为一对。所以，如果你这样写数学：

在代码中会更像这样：

但问题是，我们可能有任意的公式树：

与 OR 相同。那么你将如何实现这些函数convertDisjunction和convertConjunction，以便它们可以处理那种树数据结构呢？

我尝试实现convertConjunctionand convertDisjunction，但我认为我做的不对。