"Juan is both a Math and a CS major".

Represent the above statement in symbolic form using the below as necessary $($not all may be required$)$:

m $=$ "Juan is a Math major"

c $=$ "Juan is a CS major"

and the symbol tilde $($for logical not$),$ "and" $($to represent logical and$),$ and $"$or$"($to represent logical or$).$