quantifier rearrangement

logic

Learn about this topic in these articles:

lower predicate calculus