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

I have a small doubt about the solution provided in the paper of 2022. During the conversion of FG(p XOR q), wouldn't there be an -> operator instead of &? Can you please tell me if the below equation would be right:

in * TF "Emb. Sys. and Rob." by (500 points)
Why it got changed to implication?  In the formula of LO2 it is & operator I guess

1 Answer

+1 vote
 
Best answer
Yes, you are right, that should be an implication, and it has now be fixed. Thank you for point out that mistake!
by (142k points)
selected by
Thanks for the verification. Glad it was helpful!

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Aug 25, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
Imprint | Privacy Policy
...