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