Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
682 questions
797 answers
1.1k comments
411 users
You are right. AGa & AG(Fa & b) = AG(a & Fa & b) = AG(a & b); an update of the example solution has been made.