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

868 questions

986 answers

1.4k comments

438 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 (139k 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
Imprint | Privacy Policy
...