Logic Tableaux真值树-仅二叉树？

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

notC或notF或E

L或F或音符

F

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

………..F

…notC…notF…E

---

.L….F….注意………L….F….注意

是的，一个节点可以使用两个以上的分支