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

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 (510 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 (170k points)
selected by
Thanks for the verification. Glad it was helpful!
In the formula of LO2 it is & operator, may I know why it got changed to implication?

Related questions

0 votes
1 answer
0 votes
1 answer
+1 vote
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
...