Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

870 questions

988 answers

1.4k comments

439 users

0 votes

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 ?

in * TF "Emb. Sys. and Rob." by (2.9k points)

1 Answer

+1 vote
 
Best answer
Yes, it is because of t2>t0 instead of t2>= t0.
by (139k points)
selected by
So it just means in later point of time and not currently. Is it right ?
Yes, right. If we have t2>t0 and t0 is our current point of time, then t2 is after that one.
Its clear now.
Thanks a lot for clarifying this :)

Related questions

0 votes
1 answer
0 votes
1 answer
asked Aug 24 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
0 votes
1 answer
Imprint | Privacy Policy
...