Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
The formula (¬x ∨ y) ∧ (x ∨ ¬y) ∧ x ∧ ¬y
valid (all assignments are models).
satisfiable (it has a model)
unsatisfiable (it has no model)
refutable (it has a counter-model)
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!