Validación de funciones tipo A(B) y (B)A