What is the exact buff given by the trio of Demon pets?

Having one out gives you 3 attack/magic attack, having two different ones out gives you 3 + 5 attack/magic attack, and having all three different ones out gives you 3 + 5 + 7 attack/magic attack.

This bonus is also given by the Shark pet and Pink Bean pet.