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

1.1k questions

1.2k answers

1.6k comments

529 users

0 votes

Is this correct?

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

1 Answer

0 votes

You have

  〖AG a〗 = {s1;s3}
  〖AF AG a〗 = {s0;s1;s2;s3}
  〖!a & A F A G a〗 = {s0;s2}
  〖AFG a〗 = {s0;s1;s2;s3}
  〖!a & AFG a〗 = {s0;s2}
Hence, both formulas are satisfied, I think.
by (166k points)
Thank you. I got it now

Related questions

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