(A) (B C) (A B) (C)