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

556 users

0 votes

In q => !q' | (q' <-> b), => does not seem to be same as -> (implies) condition.

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

1 Answer

0 votes
(c => p1 | p0) means "if c then p1 else p0", i.e., c&p1 | !c&p0 (see Chapter on Propositional logic, page 4).
by (170k points)
Imprint | Privacy Policy
...