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


What is first disjunct here? I did not understand the solution. Can someone explain the solution to this?

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

1 Answer

0 votes

You must read the entire exam problem. I found the snippet above as Problem 5b of the VRS exam of Feb 19, 2020. The problem starts with the following formula which is a disjunction: 

In part a), the second disjunction G!b was considered, and in part b), the first disjunct is considered. 

by (166k points)
Also in the transition relation (q => !q' | (q'<-> b)). what is this => symbol?
(a => b | c) means "if a then b else c"

Related questions

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