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

1.1k questions

1.3k answers

1.7k comments

557 users

0 votes
Question 3. d) Kripke Structures - Universal Predecessors

The universal predecessors of p & !q has been written as a & p. But shouldn't universal predecessors also include Deadends? The deadends here are {}, {q}, {p} and {pq}. And the predecessors of state p & !q are {pqa} and {pa}. Should we not have a formula satisfying all these states since a & p does not satisfy deadends.
in # Study-Organisation (Master) by (300 points)

1 Answer

0 votes
You are right, there should be the deadends included which was not the case with an earlier version of the solutions. However, that mistake has already been detected, so please have a look at the updated version.

see also https://q2a.cs.uni-kl.de/1738/wrong-solution-in-exam-of-august-2019
by (170k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...