logic - Tableaux 真值树 - 只有二叉树？

Question

是否可以使用通用树？例如，给定以下公式：

notC 或 notF 或 E

L or F or not E

F

我想检查这个知识库是否连贯。每个节点使用 3 个分支是否正确？每个节点（不包括叶子）都有 3 个子节点我在网上看到的所有示例都使用二叉树。这是一个规则还是只是内存优化？

.....................F............

......不是C............不是F............E

.L....F...notE.......L....F....notE

Answer 1

是的，您可以从一个节点使用 2 个以上的分支。