11/9/2020 Grok | COMP30026 Practice Exam
Ques on 4 Part B (3 marks)
Ques on 4 Part B (3 marks)
Turn the following closed formula into clausal form:
Instruc ons
Write your answer in plain text in the file answer.txt.
Note: This ques on is marked by hand. It may help to show your step-by-step working,
but you do not have to show this. Either way, please indicate your final answer clearly.
Format
You should use English to describe your answer, including mathema cal symbols
where needed.
For example, you may copy and paste symbols, if needed, from this list (of course, you may not need all of these symbols):
.
For easier copying, here those are again:
∃∀¬∧∨⇒⇔⊕
Alterna vely, you may use standard keyboard symbols for most of these, such as the following:
exists forall ~ & | => <=> (+)
https://groklearning.com/learn/unimelb-comp30026-2020-s2/prac-exam/10/ 1/1
Cheng
)))x ,y(L¬ ⇒ )y(M( ⇒ )))z ,x(L ⇒ )z(D( z∀ ∧ )x(M(( y∀ x∀
⊕⇔⇒∨∧¬∀∃