In many ways, the logical symbols just provide a compact representation of a clear statement of the logical proposition/sentence/etc. you're trying to express.
So for:
Alice and Bob have the same taste. That is, any cuisine Alice likes, Bob likes and vice versa.
We can say something like "for every cuisine, Alice likes it if and only if Bob likes it", and we start to get something that's very easy to translate (I'm going to label the set of set of cuisines with $C$ for convenience): $ \forall y \in C\;(T(Alice;y)\Leftrightarrow T(Bob;y)) $ Similarly, by clearly writing out the cases for the second sentence:
Except for Chinese cuisine, Carla and Dave have opposite tastes. That is, except for Chinese food, any cuisine Carla likes, Dave dislikes and vice versa.
We can get an English phrase that's easy to translate; "for every cuisine, either it is Chinese, or Carla likes it and Dave doesn't, or Carla doesn't like it and Dave does". $ \forall y \in C\; ((y=\text{Chinese}) \vee (T(Carla;y)\wedge\neg T(Dave;y) \vee (\neg T(Carla;y)\wedge T(Dave;y))) $