1 and 3 are correct. Both of the placements of "both" are acceptable. Another acceptable way of saying it would be "A and B both are larger than C and D." 2 and 4 are wrong, because they're using "or" instead of "and." To put the "and" into math terms like you did above, it would be {A,B}>{C,D}. I honestly don't think the "or" could be put into math terms, since there would probably have to be some dependency expressed. If you'd like me to really get into it, you can leave a comment asking me to and I'll try, but hopefully the "and" math is clear enough that I don't have to.