According to the question statement-
Formula x3 ∨ x4 should be considered 'alpha' in the algorithm and other diagram should be a ϕ. But in the solution, it is given vise.versa.
![](https://q2a.cs.uni-kl.de/?qa=blob&qa_blobid=1380538409322541983)
I am referring to the below algorithm-
![](https://q2a.cs.uni-kl.de/?qa=blob&qa_blobid=3252196514050784102)
is the solution in the exam paper correct?