Можно ли представить конъюнктивную/дизъюнктивную нормальную форму в двоичном дереве?

Я мог бы найти этот относительный вопрос Распространение И над ИЛИ в бинарном дереве (конъюнктивная нормальная форма)

Я не совсем уверен, что будет результатом представления двоичного дерева CNF для этого выражения. А и В и С

AND
|- A
|- AND
   |-B
   |-C

Это правильно? Мой основной вопрос: может ли двоичное представление CNF иметь несколько узлов AND в дереве, а не только один узел AND в качестве корня. Насколько я понимаю, у нас могут быть некорневые узлы И, если его родителем является узел И.

Сопутствующий вопрос? Является ли это представление оптимальным? или выгодно представлять их в n-арном дереве только с одним корнем И узлом? Оптимальность, которую я здесь ищу, - это построение и обход дерева.

// Редактировать на основе комментария. Для простоты предположим, что оператор not (~) является частью листовых узлов A, B или C. Это означает, что вам нужно беспокоиться о том, что оператор ~ является частью нелистовых узлов, которые могут изменить структуру дерева при расширении в соответствии с Деморганом. закон.