Fuente TeX:
F=(A\cap C) \cup (A-B)