3) F = A ∧ ¬B ≡ C

Формула записана корректно. По обычному приоритету операций эквивалентность имеет более низкий приоритет: (A ∧ ¬B) ≡ C.