Translate the following formula to an equivalent µ-calculus formula.
EFEGb
According to the cheatsheet provided, I get the following answer:
EF(νx.b ∧ ♦x)
µx.(νy.♦y ∧ (νx.(b ∧ ♦x)) ∨ ♦x)
The solution provided is:
µy.(νx.♦x ∧ (νx.(b ∧ ♦x)) ∨ ♦y)
Are both of these equal and correct?