Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
935 questions
1.1k answers
1.4k comments
442 users
No, it is not, but you can compute that as follows:
EGE((Fb)&(Fa)) = EGE( (F(b&(Fa))) | (F(a&(Fb))) ) = EG( (EF(b&(Fa))) | (EF(a&(Fb))) ) = EG( (EF(b&(EFa))) | (EF(a&(EFb))) )