Tableaux真理树 - 只有二叉树？

Question

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

notC或notF或E

L或F或不是

˚F

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

.....................˚F............

..... NOTC ........... notF .........电子

.L .... F的注.............大号..... .....˚F注

Answer 1

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