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


529 users

0 votes


in the last exam (exam 2020.02.19) in problem 5 b) you should draw the finite state transition diagram for A({q}, ¬q,(q ⇒ ¬q' | (q' ↔ b)), FG¬q).

I'm confused because of the truth table of (q ⇒ ¬q' | (q' ↔ b)).

Does => mean something different than a 'normal' implication? If I interprete it as a implication the disjunction is stronger than the implication. Therefor the truth table has to be 1 if p is equal to 0. The sample solution looks like this:

solution exam 2020.02 Problem 5b)

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

1 Answer

0 votes
Best answer
The meaning of (p => q | r) is "if p then q else r", i.e., the Shannon operator and that syntax is used in the lecture slides very often. So, it does not mean (p -> q | r) which would be an implication of a variable p and a disjunction. In teaching tools, we rather use the typical programming language syntax which would be "(p ? q : r)".
by (166k points)
selected by

Related questions

0 votes
1 answer
0 votes
1 answer
asked Jan 26, 2021 in * TF "Emb. Sys. and Rob." by dn (1.4k points)
0 votes
1 answer
Imprint | Privacy Policy