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

656 questions

769 answers

1.1k comments

381 users

Hello

Please may explain in below exam how do we compute the red highlighted part in "Problem 3.a"?

https://es.cs.uni-kl.de/teaching/vrs/exams/2021.02.17.vrs/2021.02.17.vrs.solutions.pdf

You just consider the transition relation ((q⊕p′)∨(p∨q′))∧(p′⊕q′) and use the constant values, i.e.,

p=0 and q=0 : ((0⊕p′)∨(0∨q′))∧(p′⊕q′) = (p′∨q′)∧(p′⊕q′) = p′⊕q′ p=0 and q=1 : ((1⊕p′)∨(0∨q′))∧(p′⊕q′) = (!p′∨q′)∧(p′⊕q′) = (p'?0:q') = !p′∧q′ p=1 and q=0 : ((0⊕p′)∨(1∨q′))∧(p′⊕q′) = p′⊕q′ p=1 and q=1 : ((1⊕p′)∨(1∨q′))∧(p′⊕q′) = p′⊕q′