Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
Exam : 29.08.2017 : Q 9 c : 2017.08.29.vrs.solutions.pdf (uni-kl.de)
My Solution :
I came up with above solution which is equivalent to [a WW b] but I couldn't get how X came in the exam solution.
Maybe this is due to Exist t2 > t0 and not Exist t2 >= t0.
Could you please explain how X is there in exam solution ?