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