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

912 questions

1k answers

1.4k comments

441 users

0 votes

Hello,

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 (142k 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
0 votes
1 answer
0 votes
1 answer
asked Aug 24, 2022 in * TF "Emb. Sys. and Rob." by khanh (390 points)
Imprint | Privacy Policy
...