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

928 questions

1k answers

1.4k comments

441 users

+2 votes
VRS in exercise 3.e (x <-> (y1 ^ y2)) what does this sign "^" mean?
in * TF "Emb. Sys. and Rob." by (1.7k points)
Please use tag "VRS" for questions about VRS (that will forward the question to the tutors, otherwise, it may take longer to get an answer).

1 Answer

+1 vote

Short answer: it means exclusive-or.

For the teaching tools, we need some simple writing of the formulas. As you can read on https://es.cs.uni-kl.de/tools/teaching, we use

!,&,^,|,->,<->

for negation, conjunction, exclusive-or, disjunction, implication, and equivalence (with decreasing precedences in this order). 

Alternatively, you may use the characters ¬,∧,⊕,∨,→, and ↔, but you may have hard times to find out how to type these. Yet another alternative would be to write operators in words: not,and,xor,or,imp,eqv (teaching tools accept all the three versions).

by (143k points)
Let me add the following.

Self-Help Tip: If you ever find a logic connective that you don't know, use our teaching tools to generate the truth table. Then you can easily recognize it.

For later in the semester: If you have temporal logic quantifiers that you want to understand, you can form formulas with known quantifiers, and look look at the counterexamples generated by our online tools.
Imprint | Privacy Policy
...