Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Given formula ψ := (x) ∧ (¬y ∨ ¬z) ∧ (¬x ∨ y ∨ z)
(¬y ∨ ¬z) is a literal.
(¬x ∨ y ∨ z) is a conjunction of three literals.
y is a literal.
ψ is a disjunction of clauses.
¬y is a literal.
(¬x ∨ y ∨ z) is a clause of size three.
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!