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

908 questions

1k answers

1.4k comments

441 users

0 votes

Exam : 21.08.2018 : Problem 9 c part 2 : 2018.08.21.vrs.solutions.pdf (uni-kl.de)

My Solution:

The results differ as AG!a & AFb is not equal to AG!a & AGb.

Where did I get wrong ?

What I have to be careful about while solving ?

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

1 Answer

+1 vote
 
Best answer
If "a" is always false, then you can replace [a WU b] by "b" but not with "G b" as you did.
by (142k points)
selected by
Understood now.
Thanks for the clarification.

Related questions

0 votes
1 answer
0 votes
1 answer
asked Sep 1, 2022 in * TF "Emb. Sys. and Rob." by learner (330 points)
0 votes
1 answer
Imprint | Privacy Policy
...