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
Then how do we get AXXFGFGF?
We have X F G p <=> F G p and X G F p <=> G F p for any p, so that you can remove all X operators in front of FG and GF.