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

543 users

0 votes

Isn't it satisfied S2 but NOT S1?

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

1 Answer

0 votes

X[a SU b] holds on the single path of your structure, but [(X a) SU b] does not hold there, so that you are right. I think that this alternative solution has already been suggested before in q2a (see https://q2a.cs.uni-kl.de/3448/september-6-2022-problem-8-f).

by (166k points)
Imprint | Privacy Policy
...