✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Given the following syntax tree of a propositional formula. This tree is annotated with labels to be used in the transformation to CNF.
Which clauses occur in the CNF when using approach 2 as presented in the lecture to translate the formula to CNF?