Encuentra la equivalencia del siguiente predicado
∀x:[F(x)∧~G(x)]