logo

Crowdly

Given the following formula: ¬(¬a (b ∧ c)) ∧ (a ...

✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.

Given the following formula:

¬(¬a \to (b ∧ c)) ∧ (a

\leftrightarrow b)

How many clauses do we obtain when we transform the formula into a semantically equivalent CNF (approach 1 of the lecture)?

Більше питань подібних до цього

Хочете миттєвий доступ до всіх перевірених відповідей на moodle.jku.at?

Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!